- abstract
- auto
- case
- class
- codata
- constructor
- covering
- data
- default
- do
- dsl
- else
- export
- if
- implementation
- implicit
- import
- impossible
- in
- index_first
- index_next
- infix
- infixl
- infixr
- instance
- interface
- lambda
- let
- module
- mutual
- namespace
- of
- parameters
- partial
- pattern
- postulate
- prefix
- private
- proof
- public
- record
- rewrite
- static
- syntax
- tactics
- term
- then
- total
- using
- variable
- where
- with
- access
- assert_total
- default
- dynamic
- elim
- error_handlers
- error_reverse
- flag
- hide
- include
- language
- lib
- link
- name
- provide
- reflection
- applyTactic
- attack
- compute
- exact
- fill
- focus
- induction
- intro
- intros
- let
- refine
- reflect
- rewrite
- solve
- trivial
- try