Geeks
leanprover-community
/
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Primary Language
HTML
mathematics_in_lean GitHub
Markdown
Readme
0
Issues
211
Stargazers
13
Watchers
Watchers
pius
San Francisco, CA
FranklinChen
Pittsburgh, PA
jhcloos
avigad
Pittsburgh
alreadydone
Bethesda, MD / Shenzhen
robertylewis
Providence, RI
bryangingechen
PatrickMassot
Paris
kbuzzard
London
eemailme
agjftucker
seanpm2001
Walla Walla Washington, USA, Earth, Milky way, <Universe>
lambdaPrimeX