jakobjpeters/PAndQ.jl

A computer algebra system for propositional logic

语言：Julia · GitHub 星标：18 · Fork：1

话题：julia · julialang · logic · propositional-logic · symbolic

在 GitHub 上查看原仓库