lean / keywords
75 entries at this level
- ᜇᜄ᜔ᜇᜄ᜔_ᜇᜒᜃ᜔ᜎ᜔_ᜇᜓᜃ᜔ add_decl_doc
- ᜎᜑᜆ᜔ all
- ᜀᜆ᜔ and
- ᜑᜈᜌ᜔ Array
- ᜆᜒᜌᜃᜒᜈ᜔ assert
- ᜆᜒᜌᜃᜒᜈ᜔_ᜑᜒᜈ᜔ᜇᜒ_ᜁᜃᜒᜐ᜔ᜆ᜔ᜐ᜔ assert_not_exists
- ᜆᜒᜌᜃᜒᜈ᜔_ᜑᜒᜈ᜔ᜇᜒ_ᜁᜋ᜔ᜉᜓᜍ᜔ᜆᜒᜇ᜔ assert_not_imported
- async
- ᜊᜓᜂᜎᜒᜀᜈ᜔ Bool
- ᜑᜒᜈ᜔ᜆᜓ break
- ᜀᜌᜓᜈ᜔ by
- ᜑᜓᜎᜒᜑᜒᜈ᜔ catch
- ᜃ᜔ᜑᜍ᜔ Char
- ᜃ᜔ᜎᜐᜒ class
- ᜁᜃᜓᜋ᜔ᜉᜍ compare
- ᜋᜄ᜔ᜉᜆᜓᜎᜓᜌ᜔ continue
- ᜇᜒᜃ᜔ᜍᜒᜀᜐᜒᜅ᜔_ᜀᜌᜓᜈ᜔ decreasing_by
- ᜇᜒᜉ᜔ᜍᜒᜃᜆᜒᜇ᜔_ᜋᜓᜇ᜔ᜌᜓᜎ᜔ deprecated_module
- ᜄᜏᜒᜈ᜔ do
- ᜇᜓᜃ᜔ᜐ᜔_ᜐ_ᜊᜒᜍ᜔ᜐᜓ docs_to_verso
- ᜃᜓᜈ᜔ᜇᜒ else
- ᜏᜃᜐ᜔ end
- ᜏᜃᜐ᜔_ᜎᜓᜃᜎ᜔_ᜐᜃ᜔ᜎᜏ᜔ end_local_scope
- ᜃᜆᜓᜋ᜔ᜊᜐ᜔ Eq
- ᜃᜋᜎᜒᜀᜈ᜔ error
- ᜁᜎᜓᜏᜐ᜔ export
- ᜉᜒᜈᜎᜏᜃ᜔ extends
- ᜋᜊᜒᜄᜓ failure
- ᜋᜎᜒ false
- ᜉᜅ᜔ᜑᜓᜎᜒ finally
- ᜉ᜔ᜎᜓᜀᜆ᜔ Float
- ᜉᜍ for
- ᜋᜓᜎ from
- ᜁᜈ᜔ᜇᜒᜃ᜔ᜐ᜔ get
- ᜋᜉ HashMap
- ᜃᜓᜎᜒᜃ᜔ᜐ᜔ᜌᜓᜈ᜔ HashSet
- ᜃᜓᜅ᜔ if
- ᜀᜅ᜔ᜃᜆ᜔ import
- ᜈᜐ in
- ᜁᜈ᜔ᜆ᜔ Int
- ᜇᜒ-ᜊᜎᜒᜇᜓ invalid
- ᜑᜊ length
- ᜑᜈᜌ᜔ List
- ᜎᜓᜃᜎ᜔ local
- ᜆᜓᜄ᜔ᜋ match
- ᜆᜓᜄ᜔ᜋ_ᜁᜃ᜔ᜉ᜔ᜍ᜔ match_expr
- ᜉᜒᜈᜃᜋᜆᜀᜐ᜔ max
- ᜉᜒᜈᜃᜋᜊᜊ min
- ᜋᜓᜇᜓᜎᜓ mod
- ᜋᜓᜇ᜔ᜌᜓᜎ᜔ module
- ᜉᜅᜎᜈ᜔ name
- ᜑᜒᜈ᜔ᜇᜒ_ᜁᜈ᜔ᜇᜒᜃ᜔ᜐ᜔ no_index
- ᜏᜎ none
- ᜊᜓᜃ᜔ᜐᜈ᜔ open
- ᜂ or
- ᜉ᜔ᜍᜒᜊᜇᜓ private
- ᜆᜓᜉ᜔ᜎᜒ Prod
- ᜉᜋ᜔ᜉᜓᜊ᜔ᜎᜒᜃᜓ public
- ᜁᜊᜎᜒᜃ᜔ return
- ᜁᜆᜃ᜔ᜇ_ᜂᜉ᜔ᜆᜒᜂᜈ᜔ set_option
- ᜎᜃᜒ size
- ᜐ᜔ᜆ᜔ᜍᜒᜅ᜔ String
- ᜆᜃ᜔ᜆᜒᜃ᜔_ᜉᜅᜎᜈ᜔ tactic_name
- ᜆᜐ᜔ᜃ᜔ Task
- ᜆᜒᜍ᜔ᜋᜒᜈᜆᜒᜂᜈ᜔_ᜀᜌᜓᜈ᜔ termination_by
- ᜁᜑᜄᜒᜐ᜔ throw
- ᜆᜓᜆᜓᜂ true
- ᜐᜓᜊᜓᜃᜈ᜔ try
- ᜊ᜔ᜌ᜔ᜆᜒ UInt8
- ᜏᜎᜅᜓᜍᜒ Unit
- ᜊᜎᜒᜇᜓ valid
- ᜊᜍ᜔ᜌᜊᜓᜎ᜔ variable
- ᜑᜊᜅ᜔ while
- ᜃᜐᜋ with
- ᜃᜐᜋ_ᜏᜒᜀᜃ᜔_ᜈᜋᜒᜐ᜔ᜉᜃᜒ with_weak_namespace