Mathlib Manual

 Mathlib Manual🔗

This document has been last updated at 2025-08-16 15:43 (+0000) using Lean 4.22.0 and Mathlib commit 79e94a0.

Other resources:

If you would like to contribute content, please create a PR using the two github links at the bottom left of this page!

Contents

  1. 1. Tactics
  2. 2. Guides