Geeks
Lean-zh
/
GlimpseOfLean
Lean 定理证明初探
Primary Language
Lean
Apache License 2.0
Apache-2.0
GlimpseOfLean Home Page
GlimpseOfLean GitHub
Markdown
Readme
1
Issue
3
Stargazers
0
Watchers
Issues
Open issue
TODO list
#1 opened
6 months ago
by
RexWzh
0