Sunset Tree

Package m0-prog-1.0

Information

versions1.0
descriptionM0 evaluator
authorHOL OpenTheory Packager <opentheory-packager@hol-theorem-prover.org>
licenseMIT
installed01:08:49 on Thursday 18 August 2016

For more details see the package document.