Revision history for entry Kozhemiachenko, Daniil: A Simulation of Natural Deduction and Gentzen Sequent .. [KOZASO-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2018-06-14T01:53:42update
2018-06-13T03:20:35updateSystem / admin update
2018-06-12T18:31:35add