PrototypeCommon
plclub/sf-in-lean
Development repo for translating Software Foundations to Lean
- Owner
- plclub (organization)
- Stars
- Stars: 200
- Forks
- Forks: 59
- Language
- Rocq Prover
- License
- Apache-2.0
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- math-comp/analysisStars: 247Rocq ProverPrototype
- rocq-prover/equationsStars: 239Rocq ProverPrototype
- GeoCoq/GeoCoqStars: 210Rocq ProverPrototype
- theorem-labs/oss-verify-proofsStars: 194Rocq ProverPrototype
- mit-plv/koikaStars: 191Rocq ProverPrototype
- CertiRocq/certirocqStars: 183Rocq ProverPrototype