PrototypeCommune
avigad/lamr
Logic and Mechanized Reasoning
- Propriétaire
- avigad (compte personnel)
- Étoiles
- Étoiles : 120
- Forks
- Forks : 34
- Langage
- Lean
- Licence
- Aucune
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de avigad
Les 2 dépôts de avigad- avigad/mathematics_in_lean_sourceÉtoiles : 223LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- rami3l/PLFaLeanÉtoiles : 120LeanPrototype
- google-deepmind/debateÉtoiles : 120LeanPrototype
- leanprover/LNSymÉtoiles : 120LeanPrototype