PrototypeCommon
lfglabs-dev/verity
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
- Owner
- lfglabs-dev (organization)
- Stars
- Stars: 152
- Forks
- Forks: 22
- Language
- Lean
- License
- MIT
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by lfglabs-dev
All 2 repos by lfglabs-dev- lfglabs-dev/old_identityStars: 103CairoPrototype
Nearby in Lean
All Lean repos- nomeata/loogleStars: 160LeanPrototype
- AxiomMath/CFSGStars: 154LeanPrototype
- josevalim/lynxStars: 152LeanPrototype
- flypitch/flypitchStars: 150LeanPrototype
- argumentcomputer/yatimaStars: 148LeanPrototype
- kmill/lean4-raytracerStars: 147LeanPrototype