Geeks
Lean-zh
/
tp-lean-zh
Lean 定理证明
Primary Language
JavaScript
Apache License 2.0
Apache-2.0
tp-lean-zh Home Page
tp-lean-zh GitHub
Markdown
Readme
4
Issues
10
Stargazers
4
Watchers
Watchers
JiechengZhao
Shanghai, China
OlingCat
Hakurei Shrine
Qiu233
skylee03
University of Hong Kong