Lean-zh / tp-lean-zhLinks

Lean 定理证明
15Updated last month

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: