Automated theorem prover for a linear logic-based calculus for molecular biology.
Why do you think that https://github.com/eggzilla/BiobaseEnsembl 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/eggzilla/BiobaseEnsembl is a good alternative to zsyntax