/mathlib

Lean mathematical components library

Primary LanguageLeanApache License 2.0Apache-2.0

mathlib

Build Status

Lean standard library

Besides Lean's general documentation, the documentation of mathlib consists of:

This repository also contains extra Lean documentation not specific to mathlib.