Sunset Tree

Package m0-model-1.0

Information

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

For more details see the package document.