Skip to content

lean formal verification for move-stdlib - #335

Draft
ganymedio wants to merge 2 commits into
m1from
formal/move-stdlib-m1
Draft

lean formal verification for move-stdlib#335
ganymedio wants to merge 2 commits into
m1from
formal/move-stdlib-m1

lean <> move-std: remove lake build sorrys and warnings

998bf52
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar