lean / keywords
115 entries at this level
- הוסף_decl_!מִסְחָר add_decl_doc
- הכל all
- וגם and
- מערך Array
- וודא assert
- ודא_לא_exists assert_not_exists
- ודא_לא_imported assert_not_imported
- אסינכרוני async
- יִחֵס attribute
- !נִהוּל behavior
- binder_נָשׂוּא binder_predicate
- בוליאני Bool
- שבור break
- לפי by
- תפוס catch
- תו char
- תו Char
- מחלקה class
- השווה compare
- המשך continue
- dbg_!צָד dbg_trace
- הִכְרִיז_תַּחְבִּיר_הֵקִיא declare_syntax_cat
- decreasing_לפי decreasing_by
- ברירת_מחדל_!דֻּגְמָה default_instance
- deprecated_מודול deprecated_module
- deprecated_תַּחְבִּיר deprecated_syntax
- עשה do
- docs_ל_verso docs_to_verso
- אחרת else
- סוף end
- סוף_מקומי_תחום end_local_scope
- שווה Eq
- שגיאה error
- !דֻּגְמָה example
- ייצא export
- חָשַׂף expose
- מרחיב extends
- כשל failure
- שקר false
- לבסוף finally
- צף Float
- עבור for
- מ from
- הִכְלִיל generalize
- אינדקס get
- מפה HashMap
- קבוצה HashSet
- !גָּרַם have
- אם if
- ייבא import
- ב in
- !דֻּגְמָה instance
- שלם Int
- !הַצָּגָה intro
- לא תקף invalid
- אורך length
- !הַשְׂכָּרָה let
- !הַשְׂכָּרָה_delayed let_delayed
- !הַשְׂכָּרָה_expr let_expr
- !הַשְׂכָּרָה_fun let_fun
- !הַשְׂכָּרָה_tmp let_tmp
- מערך List
- מקומי local
- התאם match
- התאם_expr match_expr
- מקסימום max
- מינימום min
- מודולו mod
- מודול module
- מֵנִיעַ motive
- הֲדָדִי mutual
- שם name
- לא_אינדקס no_index
- שום none
- !מִסְפָּר numeral
- אָטוּם opaque
- פתח open
- או or
- תְּחִלִּית prefix
- פרטי private
- טאפל Prod
- ציבורי public
- recommended_כְּתִיב recommended_spelling
- register_שגיאה_!הֶסְבֵּר register_error_explanation
- החזר return
- מַדָּעִי scientific
- !קֶטַע section
- קבוצה_בְּחִירָה set_option
- !הוֹפָעָה show
- !הוֹפָעָה_תְּנַאי_elab show_term_elab
- אורך size
- מחרוזת String
- מִבְנֶה structure
- !סֵמֶל symbol
- תַּחְבִּיר syntax
- tactic_אֲגַף tactic_extension
- tactic_שם tactic_name
- משימה Task
- תְּנַאי term
- סִיּוּם_לפי termination_by
- אָז then
- זרוק throw
- סוּבֶנִיר token
- !הִתְחַקּוּת_parser trailing_parser
- אמת true
- נסה try
- בית UInt8
- ריק Unit
- !זָר unknown
- מְסֻכָּן unsafe
- תקף valid
- משתנה variable
- כלעוד while
- עם with
- עם_weak_namespace with_weak_namespace