@hackage / zsyntax

Automated theorem prover for the Zsyntax biochemical calculus