PrototypeCommune
verse-lab/velvet
An auto-active program verifier in Lean
- Propriétaire
- verse-lab (organisation)
- Étoiles
- Étoiles : 134
- Forks
- Forks : 13
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Sujets
- dafnylean
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de verse-lab
Les 5 dépôts de verse-lab- verse-lab/veilÉtoiles : 350LeanAlpha
- verse-lab/loomÉtoiles : 167LeanPrototype
- verse-lab/ceramistÉtoiles : 127CoqPrototype
- verse-lab/toychainÉtoiles : 113CoqPrototype
D’autres dépôts Lean
Tous les dépôts Lean- jesse-michael-han/lean-gptfÉtoiles : 135LeanPrototype
- eric-wieser/lean-matrix-cookbookÉtoiles : 135LeanPrototype
- opencompl/veirÉtoiles : 135LeanPrototype
- leanprover-community/lean-perfectoid-spacesÉtoiles : 133LeanPrototype
- frenzymath/jixiaÉtoiles : 131LeanPrototype
- sdiehl/zero-to-qedÉtoiles : 128LeanPrototype