Issues · leanprover/reference-manual · GitHub

Labels Milestones New issue

Link from "extended field notation" to "generalized field notation"

#815

· TwoFX opened

on Mar 25, 2026

Document `where finally`

#804

· j-loreaux opened

on Mar 13, 2026

Document the effect of `@[expose]`/`@[no_expose]` on each declaration

#771

· YaelDillies opened

on Feb 2, 2026

Minor typo in CH14. mapConst documentation

#763

· hojune-lee opened

on Jan 26, 2026

Traceability of artifacts

#748

· david-christiansen opened

on Jan 15, 2026

Document valid `leanOptions`

#743

· YaelDillies opened

on Jan 8, 2026

10.4.2: Clarify pipeline syntax

#719

· AxelBoldt opened

on Dec 25, 2025

Allow `set_option` documentation

#712

· robsimmons opened

on Dec 17, 2025

Document new wfrec reduction behavior for Nat-valued measures

#680

· nomeata opened

on Dec 2, 2025

Improve description of `grind_pattern`

#640

· david-christiansen opened

on Oct 28, 2025

@ that makes implicit arguments explicit

#637

· fpvandoorn opened

on Oct 27, 2025

Consider adding "Error explanation:" to error explanatin section headings.

#635

· jcreedcmu opened

on Oct 25, 2025