fsestini/zsyntax

Automated theorem prover for a linear logic-based calculus for molecular biology.

语言：Haskell · GitHub 星标：13 · Fork：0

话题：automated-deduction · linear-logic · molecular-biology · theorem-proving

在 GitHub 上查看原仓库