Skip to content

verify: Try cppverify_auto on each new Lean goal, and certify it faster - #61

Merged
SwayamInSync merged 26 commits into
mainfrom
fix/lean-automation
Oct 23, 2026
Merged

verify: Try cppverify_auto on each new Lean goal, and certify it faster#61
SwayamInSync merged 26 commits into
mainfrom
fix/lean-automation

test: Check that the trial of cppverify_auto runs the pinned Lean too…

20cb2fc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar