lean / keywords
184 entries at this level
- සංක්ෂිප්ත abbrev
- එකතුව_decl_ලේඛනය add_decl_doc
- සියල්ල all
- සහ and
- අරාව Array
- තහවුරු assert
- තහවුරුව_නොවේ_පවතිනවා assert_not_exists
- තහවුරුව_නොවේ_ආනයනික assert_not_imported
- අසමමුහුර්ත async
- ගුණාංගය attribute
- ප්රත්යක්ෂය axiom
- ප්රත්යක්ෂ axioms
- හැසිරීම behavior
- බයින්ඩර්_ප්රස්චෝනයක binder_predicate
- බූලියන් Bool
- දෙකම both
- බිඳින්න break
- මගින් by
- අල්ලා catch
- අකුර char
- අක්ෂරය Char
- පන්තිය class
- සමෝධානික coinductive
- සමෝධානික_fixpoint coinductive_fixpoint
- සංසන්දනය compare
- ඉදිරියට continue
- dbg_ට්රේස් dbg_trace
- ප්රකාශකරන්න_සින්ටැක්ස්_කැට් declare_syntax_cat
- අඩුවන_මගින් decreasing_by
- ඩෙෆ් def
- පෙරනිමි_නිදර්ශනය default_instance
- යැපෙන්නන් dependent
- deprecated_මොඩියුලය deprecated_module
- deprecated_සින්ටැක්ස් deprecated_syntax
- ව්යුත්පන්න deriving
- කරන්න do
- ලේඛන_දක්වා_වර්සෝ docs_to_verso
- elab_නීති elab_rules
- නැතහොත් else
- අවසානය end
- අවසානය_ස්ථානීය_විෂයපථය end_local_scope
- එප්සිලන් epsilon
- සම eq
- සමාන Eq
- සමීකරණ equations
- දෝෂ error
- උදාහරණයක් example
- අපේක්ෂිත expected
- අපනයනය export
- එක්ස්පෝස් expose
- දිගුකරයි extends
- බාහිර extern
- අසාර්ථක failure
- අසත්ය false
- අවසන් finally
- float Float
- සඳහා for
- සඳහා forall
- සිට from
- විනෝද fun
- සාමාන්යකරණයට generalize
- සාමාන්යකරණය generalizing
- දර්ශකය get
- සිතියම HashMap
- කට්ටලය HashSet
- තියෙනවා have
- සැඟවීම hiding
- හැඳුනුම්පත ident
- හැඳුනුම්පත identifier
- ඔව් ies
- නම් if
- අයිමැක්ස් imax
- ආයාත import
- තුළ in
- ඇතුළත් include
- ඉන්ඩෙන්ටේෂන් indentation
- ප්රේරක inductive
- ප්රේරක_fixpoint inductive_fixpoint
- එහි_quot init_quot
- පෙළට inline
- නිදර්ශනය instance
- int Int
- හඳුන්වාදීම intro
- අවලංගු invalid
- අපෘශ්ඨ irrelevant
- keyword_සංකේත keyword_tokens
- නායකත්වය_විග්රහකය leading_parser
- දිග length
- ඉඩ let
- ඉඩ_ප්රමාදයි let_delayed
- ඉඩ_expr let_expr
- ඉඩ_විනෝද let_fun
- ඉඩ_tmp let_tmp
- ලැයිස්තුව List
- ස්ථානීය local
- මැක්රෝ macro
- මැක්රෝ_නීති macro_rules
- ගැළපුම match
- ගැළපුම_expr match_expr
- උපරිම max
- මෙටා meta
- අවම min
- එම්කේ mk
- ඉතිරිය mod
- මොඩියුලය module
- චේතනාව motive
- අන්යෝන්ය mutual
- නම name
- නාමඅවකාශයෙහි namespace
- නැත_දර්ශකය no_index
- හිස් none
- සටහන් notation
- අංකය num
- ඉලක්කම් numeral
- අතහරින්න omit
- පාරාන්ධ opaque
- විවෘතකරන්න open
- හෝ or
- විග්රහකය parser
- පාර්ශවීය partial
- පාර්ශවීය_fixpoint partial_fixpoint
- උපසර්ගය prefix
- පූර්විකාව prelude
- පෞද්ගලික private
- ටුපල් Prod
- පොදු public
- රෙක් rec
- නිර්දේශිත_අකුරැටියේ recommended_spelling
- ලියාපදිංචිය_දෝෂය_පහදන register_error_explanation
- ලියාපදිංචිය_විග්රහකය_ඇලියස් register_parser_alias
- ලියාපදිංචිය_උපායශීලී_ටැග් register_tactic_tag
- ප්රතිනාමකරණය renaming
- නැවත repeat
- ආපසුදෙන්න return
- විද්යාත්මක scientific
- අංශය section
- කට්ටලය_විකල්පය set_option
- පෙන්වන්න show
- පෙන්වන්න_කාලීන_elab show_term_elab
- සංඥා sig
- පටන් since
- සිංගල්ටන් singleton
- ප්රමාණය size
- මඟහරින්න skip
- සමාවන්න sorry
- විශේෂඥ specialize
- ස්ට්ර් str
- තන්තුව String
- ව්යුහාත්මක structural
- ව්යුහය structure
- සෑහේ suffices
- සංකේතය symbol
- සින්ටැක්ස් syntax
- උපායශීලී tactic
- උපායශීලී_alt tactic_alt
- උපායශීලී_දිගුව tactic_extension
- උපායශීලී_නම tactic_name
- උපායශීලී_ටැග් tactic_tag
- ටැග් tags
- කාර්යය Task
- කාලීන term
- නිමාකිරීම_මගින් termination_by
- ඉන්පසු then
- සිද්ධාන්තය theorem
- දමා throw
- ටෝකන් token
- පසුපසින්_විග්රහකය trailing_parser
- සත්ය true
- උත්සාහ try
- byte UInt8
- නිරාකාර Unit
- විශ්වය universe
- නොදන්නා unknown
- මිස unless
- අන්ලොක්_සීමාවන් unlock_limits
- අනාරක්ෂිතයි unsafe
- තුරු until
- වලංගු valid
- විචල්යය variable
- කොහේ where
- තෙක් while
- සමඟ with
- සමඟ_දුර්වල_නාමඅවකාශයෙහි with_weak_namespace
- සීටා zeta