The Lean Reference
Introduction
Notation
Lexical Structure
Type Theory
Commands
- Definition
- Import
- Open
- Eval
Attributes
Expressions
Tactics
IO
Undocumented Features

Powered by GitBook

Notation

Notation

This section describes the notation used throughout the document.

results matching ""

No results matching ""