@hackage / zsyntax

Automated theorem prover for the Zsyntax biochemical calculus

Latest0.2.0.0

Changelog

0.2.0.0

  • Separation of the core library (this package) from client code.
  • Substantial simplification of the API and internals.