The Lean Reference
Introduction
Notation
Lexical Structure
Type Theory
Commands
Definition
Import
Open
Eval
Attributes
Expressions
Tactics
IO
Undocumented Features
Powered by
GitBook
Undocumented Features
results matching "
"
No results matching "
"