Inductive Symbol

Modification history

2025-06-17 18:33

MathlibTest/CommandStart.lean

feat: a linter to enforce formatting (#24465) …

Added Symbol View on Github →

2023-10-13 12:52

Mathlib/Computability/Language.lean

feat(Computability/CFG): define context-free grammars (#6385)

Added Symbol View on Github →