package farith

You can search for identifiers within the package.

in-package search v0.2.0

Floating point numbers library extracted from the Flocq Coq Library

Install

sha256=c2d2a99777ef2c8652fa5328feb80359d233dc88ff5a895248083412a558657f

sha512=c0405daeee927d8351b7ffa5c24ade8e62ff07dca2a715064c7bd7a63ce66b03c16f22aa462085bd98bd32157db4aad854ba00b5607417847392f79fb363d953

## 0.1

 - Initial Release