LogicalAtomist/principia-rewrite

The Principia Rewrite

语言：TeX · GitHub 星标：230 · Fork：6

话题：coq · coq-ecosystem · formal-logic · formal-mathematics · formal-proofs · history-of-philosophy · latex · latex-packages

在 GitHub 上查看原仓库