3 lines
101 B
Plaintext
3 lines
101 B
Plaintext
Floating point numbers library which originated from the "Flocq"
|
|
library for the Coq theorem prover.
|