PrototypeCommune
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.
- Propriétaire
- lfglabs-dev (organisation)
- Étoiles
- Étoiles : 151
- Forks
- Forks : 22
- Langage
- Lean
- Licence
- MIT
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de lfglabs-dev
Les 2 dépôts de lfglabs-dev- lfglabs-dev/old_identityÉtoiles : 103CairoPrototype
D’autres dépôts Lean
Tous les dépôts Lean- nomeata/loogleÉtoiles : 159LeanPrototype
- AxiomMath/CFSGÉtoiles : 154LeanPrototype
- josevalim/lynxÉtoiles : 152LeanPrototype
- flypitch/flypitchÉtoiles : 150LeanPrototype
- argumentcomputer/yatimaÉtoiles : 148LeanPrototype
- kmill/lean4-raytracerÉtoiles : 147LeanPrototype