pkg-descr « ocaml-farith « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/ocaml-farith/pkg-descr

blob: b1d500f22eb30a1639fbe8888e4658fbc1113e5b (plain) (blame)

1
2

Floating point numbers library which originated from the "Flocq"
library for the Coq theorem prover.