leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
HTML
Stargazers
- alreadydoneHeidelberg / Shenzhen
- anqurvanillapy@Shopee
- bakerjd99Meridian Idaho
- beike-zh
- bwbush@input-output-hk
- contrun
- d3v3l0Munich
- desk7
- dolcos
- esclearGermany
- fzyzcjy+=1 (seriously this is the name)
- gdahia
- gitMatiHBuenos Aires, Argentina
- HagbChongqing University
- hotdogontologySouth Carolina Governor's School for Science and Mathematics
- j-malt@HubSpot
- j-thach000
- jaalonsoUniversidad de Sevilla
- kbuzzard@ImperialCollegeLondon
- leon-volq
- martin12333
- mattearnshawTallinn University of Technology
- merbst@DandelionLabs Foundation Internet Literacy Mentoring Inspiring Collaboration Across Oceans with Open Content
- nhjk
- outlaceChampaign, IL
- piusSan Francisco, CA
- ramonfmirLondon
- rstammer@trendence
- stanescuUWUniversity of Wyoming
- stephen-welch
- tkersey@thisisartium
- TylerYepRobinhood
- ubik2
- universemaster
- utensil
- xieren5833ieg.com