AlphaPeu commune
verse-lab/veil
A verifier for automated and interactive proofs about transition systems.
- Propriétaire
- verse-lab (organisation)
- Étoiles
- Étoiles : 350
- Forks
- Forks : 30
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Sujets
- leanproof-assistantsmtverification
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de verse-lab
Les 5 dépôts de verse-lab- verse-lab/loomÉtoiles : 167LeanPrototype
- verse-lab/velvetÉtoiles : 134LeanPrototype
- verse-lab/ceramistÉtoiles : 127CoqPrototype
- verse-lab/toychainÉtoiles : 113CoqPrototype
D’autres dépôts Lean
Tous les dépôts Lean- dselsam/certigradÉtoiles : 404LeanAlpha
- leanprover-community/NNG4Étoiles : 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndÉtoiles : 351LeanAlpha
- Verified-zkEVM/ArkLibÉtoiles : 348LeanAlpha
- Kha/electrolysisÉtoiles : 340LeanAlpha
- math-inc/strongpntÉtoiles : 327LeanAlpha