hackage.haskell.org "linear-logic" keyword
zsyntax 0.2.0.0
An automated theorem prover for Zsyntax, a logical calculus for molecular biology inspired by lin...1 version - Latest release: about 7 years ago - 1 dependent repositories - 574 downloads total - 12 stars on GitHub - 1 maintainer