lean / keywords
160 entries at this level
- ଯୋଗ_decl_doc add_decl_doc
- ସମସ୍ତ all
- ଏବଂ and
- ଆରେ Array
- ନିଶ୍ଚିତ assert
- ନିଶ୍ଚିତ_ନୁହେଁ_exists assert_not_exists
- ନିଶ୍ଚିତ_ନୁହେଁ_ଆମଦାନୀ assert_not_imported
- ଅସିଙ୍କ୍ async
- ଗୁଣ attribute
- ଅକ୍ଷମତା axioms
- ବ୍ୟବହାର behavior
- ବନ୍ଧକ_predicate binder_predicate
- ବୁଲିଅନ Bool
- ଭାଙ୍ଗ break
- ଦ୍ୱାରା by
- ଧର catch
- ଅକ୍ଷର char
- ଅକ୍ଷର Char
- କ୍ଲାସ class
- ତୁଳନା compare
- ଜାରି continue
- dbg_ଟ୍ରାସ dbg_trace
- declare_ବାକ୍ୟବିନ୍ୟାସ_ବିଲେଇ declare_syntax_cat
- ବିନାଶ_ଦ୍ୱାରା decreasing_by
- ଡିଫଲ୍ଟ_ଉଦାହରଣ default_instance
- ନିର୍ଭରଶୀଳ dependent
- ପୁରୁଣା_ମଡ୍ୟୁଲ deprecated_module
- ପୁରୁଣା_ବାକ୍ୟବିନ୍ୟାସ deprecated_syntax
- ସମ୍ମାନ deriving
- କର do
- ଡକସ୍_କୁ_କୁ docs_to_verso
- elab_ନିୟମ elab_rules
- ନଚେତ else
- ଶେଷ end
- ଶେଷ_ସ୍ଥାନୀୟ_ପରିସର end_local_scope
- ଏପସିଲନ୍ epsilon
- ଇକ୍ eq
- ସମାନ Eq
- ସମୀକରଣ equations
- ତ୍ରୁଟି error
- ଉଦାହରଣ example
- ଏକ୍ସପୋର୍ଟ export
- ପ୍ରକାଶ expose
- ବିସ୍ତାର extends
- ବାହ୍ୟ extern
- ବିଫଳ failure
- ମିଥ୍ୟା false
- ଅନ୍ତେ finally
- ଦଶାଂଶ Float
- ପାଇଁ for
- ଠାରୁ from
- ମଜା fun
- ସାଧାରଣ generalize
- ସୂଚକ get
- ମ୍ୟାପ HashMap
- ସେଟ HashSet
- ଅଛି have
- ଲୁଚାଇବା hiding
- ପରିଚୟ ident
- ପରିଚାୟକ identifier
- ଯଦି if
- ଇମ୍ପୋର୍ଟ import
- ଭିତରେ in
- ସୁରକ୍ଷିତ inductive
- ସୁରକ୍ଷିତ_fixpoint inductive_fixpoint
- ଇନଫିକ୍ସ infix
- କ୍ରମରେ inline
- ଉଦାହରଣ instance
- ପୂର୍ଣ Int
- ଇଣ୍ଟ୍ରୋ intro
- ଅବୈଧ invalid
- ଅପ୍ରାସଙ୍ଗିକ irrelevant
- କୀୱାର୍ଡ_ଟୋକେନ୍ 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
- ଶେଷଫଳ mod
- ମଡ୍ୟୁଲ module
- ଉଦ୍ଦେଶ୍ୟ motive
- ପାରସ୍ପରିକ mutual
- ନାମ name
- ନେମେସ୍ସପେସ୍ namespace
- ନା_ସୂଚୀ no_index
- ଶୂନ୍ୟ none
- ଉଲ୍ଲେଖ notation
- ଗୋଟରେ num
- ସଂଖ୍ୟା numeral
- ଛାଡିଦିଅ omit
- ଅସ୍ପଷ୍ଟ opaque
- ଖୋଲ open
- କିମ୍ବା or
- ପାର୍ସର୍ parser
- ଆଂଶିକ partial
- ଆଂଶିକ_fixpoint partial_fixpoint
- ପୋଷ୍ଟଫିକ୍ସ postfix
- ଉପସର୍ଗ prefix
- ପ୍ରବର୍ତ୍ତାଏ prelude
- ବ୍ୟକ୍ତିଗତ private
- ଟୁପଲ Prod
- ସାର୍ବଜନୀନ public
- recommended_ବନାନ recommended_spelling
- register_ତ୍ରୁଟି_ବ୍ୟାଖ୍ୟା register_error_explanation
- register_ପାର୍ସର୍_ଛଦ୍ମନାମ register_parser_alias
- register_tactic_ଟ୍ୟାଗ୍ register_tactic_tag
- ଫେରସ୍ତ return
- ସ୍କଡ୍ scoped
- ବିଭାଗ section
- ସେଟ_ବିକଳ୍ପ set_option
- show_ଶବ୍ଦ_elab show_term_elab
- ପରଠାରୁ since
- ସିଙ୍ଗନଟନ୍ singleton
- ଦୈର୍ଘ୍ୟ size
- ଛାଡିଦିଅ skip
- ଅକ୍ଷରମାଳା String
- ଗଠନମୂଳକ structural
- ଯଥେଷ୍ଟ suffices
- ପ୍ରତୀକ symbol
- ବାକ୍ୟବିନ୍ୟାସ syntax
- tactic_ସମ୍ପ୍ରସାରଣ tactic_extension
- tactic_ନାମ tactic_name
- tactic_ଟ୍ୟାଗ୍ tactic_tag
- ଟ୍ୟାଗ୍ସ tags
- କାର୍ଯ୍ୟ Task
- ଶବ୍ଦ term
- ସମାପ୍ତି_ଦ୍ୱାରା termination_by
- ତା'ପରେ then
- ଥିଓରେମ୍ theorem
- ଛୁଡ଼ throw
- ଟୋକେନ୍ token
- ଟ୍ରେଲିଂ_ପାର୍ସର୍ trailing_parser
- ସତ୍ୟ true
- ଚେଷ୍ଟା try
- ବାଇଟ UInt8
- ଖାଲି Unit
- ବ୍ରହ୍ମାଣ୍ଡ universe
- ଅଜ୍ଞାତ unknown
- ଯେପର୍ଯ୍ୟନ୍ତ unless
- unlock_ସୀମା unlock_limits
- ଅସୁରକ୍ଷିତ unsafe
- ପର୍ଯ୍ୟନ୍ତ until
- ବୈଧ valid
- ଚଳ variable
- କେଉଁଠାରେ where
- ଯେତେବେଳେ while
- ସହିତ with
- ସହିତ_ଦୁର୍ବଳ_ନେମେସ୍ସପେସ୍ with_weak_namespace
- ଜେଟା zeta