Skip to content

Generate lemmas and prove them#50

Open
petros-marko wants to merge 3 commits into
masterfrom
petros-marko/proofs
Open

Generate lemmas and prove them#50
petros-marko wants to merge 3 commits into
masterfrom
petros-marko/proofs

update proofs to work with current version of flux-lean

1809fb9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar