PatrickMassot/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
LeanApache-2.0
Stargazers
- 34jJapan
- alreadydoneHeidelberg / Shenzhen
- chabulhwiSemmalgil
- crisperdueSilicon Valley
- dmitris@Yahoo
- egretwAlker
- emliunixShanghai,China
- Enter-tainerHuazhong University of Science and Technology
- esnekoLatvia
- hanazuki@kmc-jp
- henry-hz
- jaalonsoUniversidad de Sevilla
- jakeswensonSalesforce
- kap4102
- kt3k@denoland
- luca-botteroSelf Employed
- LumaKernelTokyo, Japan
- mastaneTechnology Innovation Institute (TII)
- mayant15University of British Columbia
- NazgandHayden, Idaho, USA
- nikitavoloboevTbilisi
- nrolland
- programmin1
- ramonfmirLondon
- rfdiazpr49748
- RickDW
- sumantchopdataIISER Pune
- tavakyanLos Angeles, CA
- tkersey@thisisartium
- TylerJosephsonUniversity of Maryland, Baltimore County
- utensil
- welann
- yberrebyMcGil University
- YiqiXu
- yiyuan-caoPeking University
- zhangir-azerbayev