lean / keywords
117 entries at this level
- ajouter_decl_doc add_decl_doc
- tous all
- et and
- tableau Array
- affirmer assert
- affirmer_non assert_not_exists
- affirmer_non_importé assert_not_imported
- async
- liant_prédicat binder_predicate
- booléen Bool
- rompre break
- builtin_initialiser builtin_initialize
- par by
- attraper catch
- caractère char
- char Char
- classe class
- comparer compare
- continuer continue
- dbg dbg_trace
- chat declare_syntax_cat
- decreasing_par decreasing_by
- défaut_instance default_instance
- dépendant dependent
- obsolète deprecated_module
- obsolète deprecated_syntax
- faire do
- doc_vers docs_to_verso
- elab_règles elab_rules
- sinon else
- fin end
- fin_portée end_local_scope
- équivalent eq
- égal Eq
- erreur error
- attendu expected
- exporter export
- étend extends
- échouer failure
- faux false
- finalement finally
- float Float
- pour for
- depuis from
- fonction fun
- indice get
- map HashMap
- ensemble HashSet
- posséder have
- dissimulation hiding
- identifiant identifier
- si if
- importer import
- dans in
- initialiser initialize
- int Int
- introduction intro
- invalide invalid
- mot-clé_jeton keyword_tokens
- interligne_parseur leading_parser
- longueur length
- soit let
- soit let_delayed
- soit_expr let_expr
- soit_fonction let_fun
- soit_tmp let_tmp
- tableau List
- macro_règles macro_rules
- correspondre match
- correspondre_expr match_expr
- max
- min
- modulo mod
- nom name
- non_index no_index
- nul none
- ouvrir open
- ou or
- parseur parser
- fixpoint partial_fixpoint
- postfixe postfix
- privé private
- tuple Prod
- recommandé_orthographe recommended_spelling
- erreur register_error_explanation
- parseur register_parser_alias
- tactic_balise register_tactic_tag
- renommage renaming
- retourner return
- définir set_option
- afficher show
- afficher_elab show_term_elab
- taille size
- sauter skip
- spécialiser specialize
- chaîne String
- structurel structural
- tactic tactic_extension
- tactic_nom tactic_name
- tactic_balise tactic_tag
- balise tags
- tâche Task
- fin_par termination_by
- puis then
- lancer throw
- jeton token
- de_fin_parseur trailing_parser
- vrai true
- essayer try
- octet UInt8
- vide Unit
- à-moins-que unless
- déverrouiller unlock_limits
- dangereux unsafe
- valide valid
- avec with
- avec_faible_namespace with_weak_namespace