Popular repositories Loading

1. theorem_proving_in_lean4_zh_CN theorem_proving_in_lean4_zh_CN Public archive

   Lean4中文教程

   HTML 37 1

2. goldbach-lean goldbach-lean Public

   A Lean 4 formalization of Chen's theorem (Goldbach 1+2).

   Lean 22 2

3. mathematics_in_lean_zhCN mathematics_in_lean_zhCN Public archive

   Mathematics in Lean 翻译工程

   JavaScript 6 1

4. leanprover-zh_CN.github.io leanprover-zh_CN.github.io Public

   Lean中文手册

   Lean 4

5. N2Lean N2Lean Public

   A Dataset for machine translation from natural language mathematical statement to Lean statement

   Lean 4 1

6. fp-lean-zh fp-lean-zh Public

   test repo for fp-lean-zh

   Lean 3