# lfglabs-dev/verity

<https://repo.masters-masters.com/repos/lfglabs-dev/verity>

[Accueil](https://repo.masters-masters.com/) › [lfglabs-dev](https://repo.masters-masters.com/owners/lfglabs-dev) › [verity](https://repo.masters-masters.com/repos/lfglabs-dev/verity)

lfglabs-dev/verity, dépôt open source à 152 étoiles sur GitHub. Carte Prototype de RepoMasters. Formally verified smart contracts gives mathematical certainty…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [lfglabs-dev](https://repo.masters-masters.com/owners/lfglabs-dev) |
| Étoiles | 152 |
| Forks | 22 |
| Langage | [Lean](https://repo.masters-masters.com/languages/lean) |
| Licence | MIT |
| Création | 2026 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [lfglabs-dev/verity](https://github.com/lfglabs-dev/verity) |

## Fiche du dépôt

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de lfglabs-dev

- [lfglabs-dev/old\_identity · ★ 103 · Cairo · Prototype](https://repo.masters-masters.com/repos/lfglabs-dev/old_identity)

## D’autres dépôts Lean

- [nomeata/loogle · ★ 160 · Lean · Prototype](https://repo.masters-masters.com/repos/nomeata/loogle)
- [AxiomMath/CFSG · ★ 154 · Lean · Prototype](https://repo.masters-masters.com/repos/AxiomMath/CFSG)
- [josevalim/lynx · ★ 152 · Lean · Prototype](https://repo.masters-masters.com/repos/josevalim/lynx)
- [flypitch/flypitch · ★ 150 · Lean · Prototype](https://repo.masters-masters.com/repos/flypitch/flypitch)
- [argumentcomputer/yatima · ★ 148 · Lean · Prototype](https://repo.masters-masters.com/repos/argumentcomputer/yatima)
- [kmill/lean4-raytracer · ★ 147 · Lean · Prototype](https://repo.masters-masters.com/repos/kmill/lean4-raytracer)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.