leanprover/lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

语言：C++ · GitHub 星标：128 · Fork：25

在 GitHub 上查看原仓库