verse-lab

verse-lab/veil

A verifier for automated and interactive proofs about transition systems.

1 good first / help-wanted issue · Lean · last activity Sep 10, 2026

299 stars 25 forks 299 watchers Lean Apache License 2.0

lean proof-assistant smt verification

1 Open Issue Need Help Last updated: Sep 10, 2026

Open Issues Need Help

View All on GitHub

task: add `Nodup` assumption to `Veil.Enumeration` 10 days ago

good first issue

299

A verifier for automated and interactive proofs about transition systems.

Lean

#lean#proof-assistant#smt#verification