Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

digama0/lean-type-theory

LaTeX code for a paper on lean's type theory

Owner: digama0 (personal account)
Stars: Stars: 174
Forks: Forks: 6
Language: TeX
License: None
Created: 2018
Tier: Prototype (100 to 249 ★) What this tier means

More repos by digama0

All 3 repos by digama0

digama0/mm0Stars: 422LeanAlpha
digama0/lean4leanStars: 269LeanAlpha

Nearby in TeX

latex3/babelStars: 174TeXPrototype
StanfordASL/AA203-NotesStars: 174TeXPrototype
dl4nlp-tuda/deep-learning-for-nlp-lecturesStars: 174TeXPrototype
wch/latexsheetStars: 173TeXPrototype