subfish-zhou / theorem_proving_in_lean4_zh_CN

Lean4中文教程
34Updated last month

Alternatives and similar repositories for theorem_proving_in_lean4_zh_CN:

Users that are interested in theorem_proving_in_lean4_zh_CN are comparing it to the libraries listed below