Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "automated-deduction" 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 5 years ago - 1 dependent repositories - 510 downloads total - 11 stars on GitHub - 1 maintainer