Skip to content

verify: Export spec collections to Lean, and extend cppverify_auto for them - #65

Merged
SwayamInSync merged 98 commits into
mainfrom
fix/lean-collections
Oct 24, 2026
Merged

verify: Export spec collections to Lean, and extend cppverify_auto for them#65
SwayamInSync merged 98 commits into
mainfrom
fix/lean-collections

docs: Describe the Lean collection prelude and revision 2 of cppverif…

a734035
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar