Notes on Lean

Index🔗

Symbols

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

A

  1. abbrev

C

  1. calc
  2. class … where

D

  1. def

E

  1. example
  2. extends

F

  1. fun

H

  1. have

I

  1. instance … 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