PrototypeCommune
digama0/lean-type-theory
LaTeX code for a paper on lean's type theory
- Propriétaire
- digama0 (compte personnel)
- Étoiles
- Étoiles : 174
- Forks
- Forks : 6
- Langage
- TeX
- Licence
- Aucune
- Création
- 2018
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de digama0
Les 3 dépôts de digama0- digama0/mm0Étoiles : 422LeanAlpha
- digama0/lean4leanÉtoiles : 269LeanAlpha
D’autres dépôts TeX
Tous les dépôts TeX- latex3/babelÉtoiles : 174TeXPrototype
- StanfordASL/AA203-NotesÉtoiles : 174TeXPrototype
- dl4nlp-tuda/deep-learning-for-nlp-lecturesÉtoiles : 174TeXPrototype