lean / keywords
106 entries at this level
- addieren_decl_doku add_decl_doc
- alle all
- und and
- Array
- behaupte assert
- behaupten_nicht_besteht assert_not_exists
- behaupten_nicht_importiert assert_not_imported
- async
- verhalten behavior
- prädikat binder_predicate
- Wahrheitswert Bool
- abbruch break
- builtin_initialisieren builtin_initialize
- von by
- fange catch
- Zeichen Char
- klasse class
- vergleichen compare
- fortfahren continue
- dbg_verfolgen dbg_trace
- decreasing_von decreasing_by
- definieren def
- standard_instanz default_instance
- veraltet_modul deprecated_module
- veraltet deprecated_syntax
- tue do
- dokumente_nach_rückseite docs_to_verso
- elab_regeln elab_rules
- sonst else
- ende end
- ende_lokal_geltungsbereich end_local_scope
- gleich Eq
- Fehler error
- exportieren export
- freigeben expose
- erweitert extends
- scheitere failure
- falsch false
- abschließend finally
- float Float
- für for
- von from
- Index get
- Map HashMap
- Menge HashSet
- verbergend hiding
- kennung identifier
- wenn if
- importieren import
- initialisieren initialize
- instanz instance
- int Int
- ungültig invalid
- token keyword_tokens
- führend_parser leading_parser
- Länge length
- lassen let
- lassen_verzögert let_delayed
- lassen_expr let_expr
- lassen let_fun
- lassen_tmp let_tmp
- Liste List
- lokal local
- regeln macro_rules
- abgleichen match
- abgleichen_expr match_expr
- Maximum max
- Minimum min
- Modulo mod
- modul module
- nein no_index
- leer none
- undurchsichtig opaque
- öffnen open
- oder or
- fixpoint partial_fixpoint
- präfix prefix
- präludium prelude
- privat private
- Tupel Prod
- öffentlich public
- fehler register_error_explanation
- parser register_parser_alias
- tactic_tag register_tactic_tag
- zurückgeben return
- bereichsbezogen scoped
- setzen set_option
- elab show_term_elab
- Größe size
- Zeichenkette String
- strukturell structural
- tactic tactic_extension
- etiketten tags
- Aufgabe Task
- beendigung_von termination_by
- werfe throw
- nachgestellt_parser trailing_parser
- wahr true
- versuche try
- byte UInt8
- nichts Unit
- entsperren_grenzen unlock_limits
- gültig valid
- solange while
- mit with
- mit with_weak_namespace