Sunset Tree

Package hol-quotient-1.1

Information

versions1.0 1.1
descriptionHOL quotient theories
authorHOL OpenTheory Packager <opentheory-packager@hol-theorem-prover.org>
licenseMIT
installed04:33:06 on Wednesday 8 June 2016

For more details see the package document.