Skip to content

Fixing the proofs in Proto_alpha, Part 1

Daniel Hilst requested to merge 385-part-2 into master

part of #385 (closed)

Edited by Daniel Hilst

Merge request reports