Open Issues Need Help
View All on GitHub good first issue
verse-lab/veil
299
A verifier for automated and interactive proofs about transition systems.
Lean
#lean#proof-assistant#smt#verification
A verifier for automated and interactive proofs about transition systems.
lean proof-assistant smt verification
1 Open Issue Need Help
Last updated: Sep 10, 2026