PrototypeCommune
rami3l/PLFaLean
Learn Lean 4 with PLFA proofs.
- Propriétaire
- rami3l (compte personnel)
- Étoiles
- Étoiles : 119
- Forks
- Forks : 9
- Langage
- Lean
- Licence
- MIT
- Création
- 2023
- Sujets
- leanlean4plfaprogramming-language-foundationssoftware-foundations
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de rami3l
Les 2 dépôts de rami3l- rami3l/pacaptrÉtoiles : 425RustAlpha
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/LNSymÉtoiles : 120LeanPrototype
- leanprover-community/duperÉtoiles : 119LeanPrototype
- oftenjames/romulusÉtoiles : 119LeanPrototype
- leanprover-community/plausibleÉtoiles : 118LeanPrototype
- sunblaze-ucb/veroÉtoiles : 116LeanPrototype