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

BetaRare

michaelt/martin-lof

papers of Per Martin Löf

Owner: michaelt (personal account)
Stars: Stars: 835
Forks: Forks: 72
Language: TeX
License: None
Created: 2013
Tier: Beta (700 to 1,999 ★) What this tier means

More repos by michaelt

All 2 repos by michaelt

michaelt/streamingStars: 108HaskellPrototype

Nearby in TeX

mimoo/RSA-and-LLL-attacksStars: 842TeXBeta
StanfordVL/cs131_notesStars: 838TeXBeta
subidit/rover-resumeStars: 837TeXBeta
bootlin/training-materialsStars: 832TeXBeta
corkami/docsStars: 831TeXBeta
sjtug/SJTUBeamerStars: 831TeXBeta