Closed lighthea closed 1 year ago
Proofs rewriten with new system + small corrections
Since this seems to be an extension to #82 (just looking at the commits), should we close that one?
Proofs rewriten with new system + small corrections