Mathlib v3 is deprecated. Go to Mathlib v4

Structure fp.nan_pl

Modification history

2018-05-09 06:04

data/fp/basic.lean

feat(data/semiquot): semiquotient types

Deleted fp.nan_pl View on Github →

2017-07-30 00:50

data/fp/basic.lean

feat(data/fp): first pass at a floating point model …

Added fp.nan_pl View on Github →