hackage.haskell.org "linear-logic" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "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: over 6 years ago - 1 dependent repositories - 553 downloads total - 12 stars on GitHub - 1 maintainer