mathlib-fp documentation

Find the route that matches what you need; release evidence is archived separately from maintained user guidance.

New here?

Start with the first program and beginner guide, then use the recipes, cheatsheet, or checked runnable examples.

I know my task

Use the task index, browse domain guides, or choose a focused topic.

I need exact behaviour

Consult the 2.0 API reference, capability inventory, support matrix, and API conventions. Version 2.0.0 is the current published stable release.

Domains

Browse all domain guides when you know the library family rather than the task.

Project and maintenance

See the roadmap, governance, project health, contribution guide, and feedback route.

Release history and evidence

The release archive leads with the current release and keeps qualification, audit, and provenance evidence with the release it supports.