andrewppar/logos

A Proof Assistant for Philosophers

语言：Clojure · GitHub 星标：5 · Fork：0

话题：higher-order-logic · logic · philosophical-logic · philosophy · proof-assistant

在 GitHub 上查看原仓库