Geeks
FR-vdash-bot
/
transcendental
Lindemann–Weierstrass Theorem
Primary Language
Lean
transcendental GitHub
Markdown
Readme
0
Issues
10
Stargazers
1
Watcher
Stargazers
hly1204
Shanghai, Chine
Trebor-Huang
Internal cat of a doughnut
BrokenArrow1404
Cloudifold
EtaoinWu
Los Angeles
beike-zh
jcommelin
—
alexjbest
London, UK
veixq9
cloud router terminal
utensil