An auto-active program verifier in Lean
Lean
117
73 commits
updated Sep 18, 2026
velvetprover.dev
49 commits
18 commits
5 commits
1 commits
99.5%
