Sunset Tree

Package hol-floating-point-1.0

Information

versions1.0  1.1
descriptionHOL floating point theories
authorHOL developers <hol-developers@lists.sourceforge.net>
licenseMIT
installed05:58:43 on Friday 13 May 2016

For more details see the package document.