Notes on Lean

Index🔗

Symbols

  1. #check
  2. #eval
  3. #print
  4. #reduce
  5. (… : …)
  6. (… := …)
  7. --
  8. .
  9. /- … -/
  10. ::
  11. :=
  12. ;
  13. @
  14. _
  15. {… : …}
  16. λ … ↦
  17. ‹…›
  18. →
  19. ⟨…⟩

C

  1. calc

D

  1. def

E

  1. example

F

  1. fun

H

  1. have

I

  1. inductive … where

L

  1. lemma
  2. let

M

  1. match … with

N

  1. nofun
  2. nomatch

O

  1. open

S

  1. set_option
  2. structure

T

  1. theorem

V

  1. variable