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

Commits

  1. Commits on Oct 24, 2026