PrototypeCommon
verse-lab/velvet
An auto-active program verifier in Lean
- Owner
- verse-lab (organization)
- Stars
- Stars: 134
- Forks
- Forks: 13
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Topics
- dafnylean
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by verse-lab
All 5 repos by verse-lab- verse-lab/veilStars: 351LeanAlpha
- verse-lab/loomStars: 167LeanPrototype
- verse-lab/ceramistStars: 127CoqPrototype
- verse-lab/toychainStars: 113CoqPrototype
Nearby in Lean
All Lean repos- eric-wieser/lean-matrix-cookbookStars: 135LeanPrototype
- openai/cdc-leanStars: 135LeanPrototype
- leanprover-community/lean-perfectoid-spacesStars: 134LeanPrototype
- frenzymath/jixiaStars: 131LeanPrototype
- sdiehl/zero-to-qedStars: 128LeanPrototype
- zhangir-azerbayev/ProofNetStars: 127LeanPrototype