Automated theorem prover for a linear logic-based calculus for molecular biology.
Why do you think that https://github.com/GregorySchwartz/differential is a good alternative to zsyntax
Automated theorem prover for a linear logic-based calculus for molecular biology.
Why do you think that https://github.com/GregorySchwartz/differential is a good alternative to zsyntax