PrototypeCommune
plclub/sf-in-lean
Development repo for translating Software Foundations to Lean
- Propriétaire
- plclub (organisation)
- Étoiles
- Étoiles : 200
- Forks
- Forks : 59
- Langage
- Rocq Prover
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- math-comp/analysisÉtoiles : 247Rocq ProverPrototype
- rocq-prover/equationsÉtoiles : 239Rocq ProverPrototype
- GeoCoq/GeoCoqÉtoiles : 210Rocq ProverPrototype
- theorem-labs/oss-verify-proofsÉtoiles : 194Rocq ProverPrototype
- mit-plv/koikaÉtoiles : 191Rocq ProverPrototype
- CertiRocq/certirocqÉtoiles : 183Rocq ProverPrototype