Skip to content

Draft: first 2 Lemmas axiomatized

Natasha Klaus requested to merge verify_level_repr into master

for issue #532 (closed) with comments

Merge request reports