Warning:
This is the reference manual for Lean 3. Please see
the new manual for Lean 4
.
8. Metaprogramming
¶
8.1. Quotations
¶
8.2. User Defined Attributes
¶
The Lean Reference Manual
1. Using Lean
2. Lexical Structure
3. Expressions
4. Declarations
5. Other Commands
6. Tactics
7. Programming
8. Metaprogramming
8.1. Quotations
8.2. User Defined Attributes
9. Libraries
PDF version
Lean Home
Quick search