leanprover/theorem_proving_in_lean

Theorem proving in Lean

语言：Python · GitHub 星标：49 · Fork：48

在 GitHub 上查看原仓库