lean / keywords
113 entries at this level
- أضف_decl_doc add_decl_doc
- الكل all
- و and
- مصفوفة Array
- أكّد assert
- أكد_ليس_exists assert_not_exists
- أكد_ليس_imported assert_not_imported
- لامتزامن async
- صفة attribute
- سلوك behavior
- منطقي Bool
- اتنيناتون both
- اكسر break
- بـ by
- اصطد catch
- محرف char
- حرف Char
- صنف class
- يقارن compare
- تابع continue
- declare_syntax_قطة declare_syntax_cat
- decreasing_بـ decreasing_by
- افتراضي_مثل default_instance
- deprecated_وحدة deprecated_module
- افعل do
- docs_إلى_verso docs_to_verso
- elab_قواعد elab_rules
- وإلا else
- نهاية end
- نهاية_محلي_نطاق end_local_scope
- يساوي Eq
- خطأ error
- مثلاً example
- صدّر export
- يفضح expose
- يمدد extends
- فشل failure
- خاطئ false
- أخيراً finally
- float Float
- لكل for
- من from
- بيسلّي fun
- فهرس get
- قاموس HashMap
- مجموعة HashSet
- أملُك have
- إذا if
- استورد import
- في in
- بيتضمن include
- مثل instance
- int Int
- غير صالح invalid
- طول length
- اترك let
- اترك_اتأخر let_delayed
- اترك_expr let_expr
- اترك_بيسلّي let_fun
- اترك_tmp let_tmp
- قائمة List
- محلي local
- macro_قواعد macro_rules
- طابق match
- طابق_expr match_expr
- أقصى max
- أدنى min
- باقي mod
- وحدة module
- مشترك mutual
- اسم name
- لا_فهرس no_index
- فاضي none
- افتح open
- أو or
- خاص private
- صف Prod
- عام public
- يُستحسن_spelling recommended_spelling
- سجّل_خطأ_شرح register_error_explanation
- سجّل_parser_alias register_parser_alias
- سجّل_tactic_tag register_tactic_tag
- عاد repeat
- أرجع return
- قسم section
- عيّن_خيار set_option
- عرض show
- عرض_شرط_elab show_term_elab
- حجم size
- يتخطى skip
- عذرًا sorry
- نص String
- بناء structure
- رمز symbol
- tactic_وصلة tactic_extension
- tactic_اسم tactic_name
- مهمة Task
- شرط term
- termination_بـ termination_by
- ثمّ then
- أطلق throw
- صحيح true
- جرّب try
- byte UInt8
- عدم Unit
- مجهول unknown
- لحتى until
- صالح valid
- متغير variable
- أينَ where
- طالما while
- مع with
- مع_ضعيف_namespace with_weak_namespace