ProofSystem/Encyclopedia

An Open Encyclopedia of Proof Systems

语言：TeX · GitHub 星标：127 · Fork：37

在 GitHub 上查看原仓库