Geeks
negiizhao
/
transcendental
Lindemann–Weierstrass Theorem
Primary Language
Lean
transcendental GitHub
Markdown
Readme
0
Issues
10
Stargazers
1
Watcher
Stargazers
alexjbest
King's College London
beike-zh
BrokenArrow1404
Cloudifold
EtaoinWu
Los Angeles
hly1204
Shanghai, China
jcommelin
—
Trebor-Huang
Internal cat of a doughnut
utensil
veixq9
% | ∅