Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Library Coq.Floats.FloatClass
Variant
float_class
:
Set
:=
|
PNormal
|
NNormal
|
PSubn
|
NSubn
|
PZero
|
NZero
|
PInf
|
NInf
|
NaN
.
Navigation
Standard Library
Table of contents
Index
