lean / keywords
107 entries at this level
- plus_decl_doc add_decl_doc
- olgeta all
- na and
- lain Array
- stretim assert
- tru_no_exists assert_not_exists
- tru_no_imported assert_not_imported
- async
- samting attribute
- pasin behavior
- trupels Bool
- brukim break
- long by
- holim catch
- leta char
- leta Char
- klas class
- skelim compare
- wokyet continue
- dbg_treis dbg_trace
- declare_syntax_pusiket declare_syntax_cat
- decreasing_long decreasing_by
- nomol_eksampel default_instance
- deprecated_modul deprecated_module
- mekim do
- docs_long_verso docs_to_verso
- nogut else
- pinis end
- pinis_lokol_skop end_local_scope
- wankain Eq
- bagarap error
- eksampel example
- salim export
- tokaut expose
- kisim extends
- bagarap failure
- false
- pinisim finally
- float Float
- long for
- long from
- amamas fun
- nampla get
- mep HashMap
- grup HashSet
- sapos if
- kisim import
- insait in
- eksampel instance
- int Int
- invalid
- namba length
- larim let
- larim_dilei let_delayed
- larim_expr let_expr
- larim_amamas let_fun
- larim_tmp let_tmp
- lain List
- lokol local
- wankain match
- wankain_expr match_expr
- bikpelaewan max
- liklikwan min
- remainda mod
- modul module
- wanbel mutual
- nem name
- nogat_indeks no_index
- nating none
- opim open
- o or
- haitim private
- tuple Prod
- ples-klia public
- rejista_asua_stori register_error_explanation
- rejista_parser_alias register_parser_alias
- rejista_tactic_teg register_tactic_tag
- ripit repeat
- givimbek return
- hap section
- makim_opsen set_option
- so show
- so_tem_elab show_term_elab
- namba size
- skipim skip
- sori sorry
- tok String
- straksa structure
- sain symbol
- tactic_surikim tactic_extension
- tactic_nem tactic_name
- tactic_teg tactic_tag
- wok Task
- tem term
- termination_long termination_by
- orait then
- sanim throw
- true
- traim try
- byte UInt8
- nating Unit
- valid
- vaiabol variable
- we where
- taim while
- wantaim with
- wantaim_wik_namespace with_weak_namespace