Geeks
motib
/
gentle-lean
A gentle tutorial on Lean
Primary Language
TeX
Creative Commons Attribution 4.0 International
CC-BY-4.0
gentle-lean GitHub
Markdown
Readme
0
Issues
8
Stargazers
1
Watcher
Stargazers
chabulhwi
Seoul, Republic of Korea (South Korea)
jaalonso
Sevilla (España)
neuroevolutus
hilyun07
Seoul, Republic of Korea
tkersey
Los Angeles, CA
aresbit
mathephysicist7
idoleat
Taiwan