Skip to content

verify: Define spec functions in Lean when Lean proves they terminate - #66

Merged
SwayamInSync merged 117 commits into
mainfrom
fix/lean-spec-definitions
Oct 24, 2026
Merged

verify: Define spec functions in Lean when Lean proves they terminate#66
SwayamInSync merged 117 commits into
mainfrom
fix/lean-spec-definitions

docs: Describe the spec definitions, their trial, and revision 3 of c…

50740fe
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar