lean / keywords
80 entries at this level
- գումարել_decl_doc add_decl_doc
- բոլորը all
- և and
- զանգված Array
- պնդել assert
- հաստատել_ոչ_exists assert_not_exists
- հաստատել_ոչ_imported assert_not_imported
- ասինք async
- բուլյան Bool
- ընդհատել break
- ըստ by
- բռնել catch
- նիշ char
- նիշ Char
- դաս class
- համեմատ compare
- շարունակել continue
- declare_syntax_kˀatˀu declare_syntax_cat
- decreasing_ըստ decreasing_by
- լռելյայն_instance default_instance
- deprecated_մոդուլ deprecated_module
- անել do
- docs_դեպի_verso docs_to_verso
- այլապես else
- վերջ end
- վերջ_լոկալ_տիրույթ end_local_scope
- հավասար Eq
- սխալ error
- արտահանել export
- ընդլայնում extends
- ձախողել failure
- կեղծ false
- եզրափակիչ finally
- float Float
- համար for
- ից from
- ինդեքս get
- բառարան HashMap
- բազմություն HashSet
- unenal have
- եթե if
- ներմուծել import
- մեջ in
- int Int
- անվավեր invalid
- երկարություն length
- ցուցակ List
- լոկալ local
- համապատասխանել match
- համապատասխանել_expr match_expr
- առավ max
- նվազ min
- մոդուլո mod
- մոդուլ module
- անուն name
- ոչ_ինդեքս no_index
- դատարկ none
- բացել open
- կամ or
- մասնավոր private
- կրկնակ Prod
- հանրային public
- register_սխալ_explanation register_error_explanation
- վերադարձնել return
- բազմություն_option set_option
- չափ size
- տող String
- tactic_անուն tactic_name
- խndir Task
- termination_ըստ termination_by
- նետել throw
- ճշմարիտ true
- փորձել try
- բայթ UInt8
- անոչինչ Unit
- վավեր valid
- փոփոխական variable
- քանի while
- հետ with
- հետ_tʰuyl_namespace with_weak_namespace