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