lean / keywords
62 entries at this level
- ntxiv_decl_doc add_decl_doc
- txhua all
- thiab and
- tebchaws Array
- txiav assert
- assert_tsis_exists assert_not_exists
- assert_tsis_imported assert_not_imported
- asynchronous async
- tseeb Bool
- tawm break
- los by
- ntes catch
- tsiaj Char
- piv compare
- txuas continue
- decreasing_los decreasing_by
- ua do
- docs_rau_verso docs_to_verso
- lwm else
- kawg end
- kawg_local_scope end_local_scope
- sib Eq
- yuam error
- poob failure
- cuav false
- kawg finally
- float Float
- rau for
- lej get
- daim HashMap
- pawg HashSet
- yog if
- hauv in
- int Int
- tsis raug invalid
- ntev length
- npe List
- phim match
- phim_expr match_expr
- siab max
- qis min
- seem mod
- npe name
- tsis_index no_index
- tsismuaj none
- qhib open
- tuple Prod
- teeb_option set_option
- ntau size
- ntawv String
- tactic_npe tactic_name
- haujlwm Task
- termination_los termination_by
- tso throw
- tseeb true
- sim try
- byte UInt8
- qhiatsismuaj Unit
- raug valid
- thaum while
- nrog with
- nrog_weak_namespace with_weak_namespace