lean / keywords
78 entries at this level
- rnu_decl_doc add_decl_doc
- akk all
- d and
- ⴰⵙⴼⵓⴳⵍⵓ Array
- ⵙⵙⵓⴷⴷⵙ assert
- ḍmen_ur_exists assert_not_exists
- ḍmen_ur_imported assert_not_imported
- ⴰⵙⵉⵏⴽⵔⵓⵏ async
- ⴰⵎⴷⴷⴰⴷ Bool
- ḥbes break
- s by
- ⴹⴼⴼⵔ catch
- asekkil char
- ⴰⵙⴽⴽⵉⵍ Char
- tarbaɛt class
- ⵙⵙⵎⵔⴰⵙ compare
- kemmel continue
- decreasing_s decreasing_by
- amezwar_instance default_instance
- deprecated_azun deprecated_module
- g do
- docs_ɣer_verso docs_to_verso
- neɣ else
- taggara end
- taggara_adigan_tama end_local_scope
- ⵉⵎⵙⴰⵙⴰ Eq
- ⵜⵓⴳⵏⴰⵡⵜ error
- sifeḍ export
- yzeg extends
- ⵡⵀⴷ failure
- war tidet false
- ⴷⴰⵢⵎ finally
- ⴰⵏⴱⴷⵓ Float
- i for
- seg from
- ⴰⵙⵙⵓⴷⵙ get
- ⴰⵙⵉⵖⵣⵍ HashMap
- ⴰⴳⵔⴰⵡ HashSet
- ma if
- kter import
- deg in
- ⵉⵎⵉⴹ Int
- war iẓil invalid
- ⴰⵎⴰⵏⴰ length
- ⴰⵙⴼⵓⴳⵍⵓ List
- adigan local
- mṣada match
- mṣada_expr match_expr
- ⵉⵎⵇⵇⵓⵔⵏ max
- ⵉⵎⵥⵥⵉⵢⵏ min
- ⴰⵜⵜⵓⵔ mod
- azun module
- isem name
- ala_amatar no_index
- ⵓⵔⵎⴰⵡⴰⵍ none
- rzem open
- neɣ or
- uslig private
- ⴰⵎⵓⵍⵍⵉ Prod
- azayez public
- register_tuccḍa_explanation register_error_explanation
- uɣal return
- agraw_option set_option
- ⴰⵎⴰⵏⴰ size
- ⴰⵣⵡⴰⵍ String
- tactic_isem tactic_name
- ⵜⴰⵡⵡⵓⵔⵜ Task
- termination_s termination_by
- ⵙⵏⴼⵍ throw
- tidet true
- ⵔⵓ try
- ⴱⵉⵜ UInt8
- ⴰⵅⴰⵍⵉ Unit
- iẓil valid
- amskil variable
- skud while
- s with
- s_weak_namespace with_weak_namespace