# mathlib 4.35.0

The math library of Lean 4

Snapshot of gominimal/pkgs commit `22201ed00866a02618b7cf42578df056a2699333` (pushed 2026-11-07T01:37:55.000Z).

## Install

```sh
min add mathlib
```

## Direct advisories

None at this commit.

## Transitive advisories

None at this commit.

## Dependencies

- Build (1): base
- Runtime (2): lean, mathlib-oleans

## Links

- Homepage: https://leanprover-community.github.io/mathlib4_docs
- Package page (HTML): https://minimal.dev/pkgs/mathlib
- JSON API (floats latest): https://minimal.dev/api/pkgs/mathlib.json
- SBOM (CycloneDX 1.5): https://minimal.dev/api/pkgs/mathlib/sbom.json
- Build attestations (JSON): https://minimal.dev/api/pkgs/mathlib/attestation.json