Revision history for entry Tranchini, Luca: Natural deduction for bi-intuitionistic logic [TRANDF-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2021-12-31T06:44:28updateSystem / admin update
2019-02-05T01:27:40updateSystem / admin update
2018-08-26T16:07:49updateSystem / admin update
2017-12-19T21:03:47updateSystem / admin update
2017-12-19T12:27:19update
2017-12-19T12:27:19update
2017-12-16T09:16:32update
2017-12-16T07:22:56addSystem / admin update