verse-lab/veil

A verifier for automated and interactive proofs about transition systems.

Lean

307

1,925 commits

updated Sep 22, 2026

lean

proof-assistant

smt

verification

Contributors

1,146 commits

459 commits

171 commits

68 commits

Languages

Lean

79.7%

TLA

13.1%

TypeScript

5.5%

Python

1.1%

verse-lab/veil

A verifier for automated and interactive proofs about transition systems.

Lean

307

1,925 commits

updated Sep 22, 2026

lean

proof-assistant

smt

verification

Contributors

1,146 commits

459 commits

171 commits

68 commits

Languages

Lean

79.7%

TLA

13.1%

TypeScript

5.5%

Python

1.1%