Lean-zh / tp-lean-zhLinks

Lean 定理证明
13Updated 3 weeks ago

Alternatives and similar repositories for tp-lean-zh

Users that are interested in tp-lean-zh are comparing it to the libraries listed below

Sorting: