mathlib-fp documentation

Current release: 2.3.2

Choose a release below. Each version keeps the content generated from that release's tagged documentation; publishing a newer release does not replace it.

• mathlib-fp 2.3.2 — current release
• mathlib-fp 2.3.1
• mathlib-fp 2.3.0
• mathlib-fp 2.2.0
• mathlib-fp 2.0.0
• mathlib-fp 1.10.0
• mathlib-fp 1.9.9
• mathlib-fp 1.9.8
• mathlib-fp 1.9.7
• mathlib-fp 1.9.6
• mathlib-fp 1.9.5
• mathlib-fp 1.9.4
• mathlib-fp 1.9.3
• mathlib-fp 1.9.2
• mathlib-fp 1.9.1
• mathlib-fp 1.9.0