AlphaUncommon
verse-lab/veil
A verifier for automated and interactive proofs about transition systems.
- Owner
- verse-lab (organization)
- Stars
- Stars: 350
- Forks
- Forks: 30
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Topics
- leanproof-assistantsmtverification
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by verse-lab
All 5 repos by verse-lab- verse-lab/loomStars: 167LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype
- verse-lab/ceramistStars: 127CoqPrototype
- verse-lab/toychainStars: 113CoqPrototype
Nearby in Lean
All Lean repos- dselsam/certigradStars: 404LeanAlpha
- leanprover-community/NNG4Stars: 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndStars: 351LeanAlpha
- Verified-zkEVM/ArkLibStars: 348LeanAlpha
- Kha/electrolysisStars: 340LeanAlpha
- facebookresearch/atlas-leanStars: 328LeanAlpha