lean / keywords
82 entries at this level
- πρόσθεση_decl_doc add_decl_doc
- όλα all
- και and
- πίνακας Array
- βεβαίωσε assert
- επιβεβαίωση_δεν_exists assert_not_exists
- επιβεβαίωση_δεν_imported assert_not_imported
- ασύγχρονος async
- λογικός Bool
- διακοπή break
- κατά by
- πιάσε catch
- χαρακτήρας char
- χαρακτήρας Char
- κλάση class
- σύγκρινε compare
- συνέχεια continue
- declare_syntax_'ɣata declare_syntax_cat
- decreasing_κατά decreasing_by
- προεπιλογή_instance default_instance
- deprecated_άρθρωμα deprecated_module
- κάνε do
- docs_προς_verso docs_to_verso
- αλλιώς else
- τέλος end
- τέλος_τοπική_εμβέλεια end_local_scope
- ίσο Eq
- σφάλμα error
- εξαγωγή export
- επεκτείνει extends
- αποτυχία failure
- ψευδής false
- τέλος finally
- float Float
- για for
- από from
- δείκτης get
- αντιστοίχιση HashMap
- σύνολο HashSet
- 'exo have
- αν if
- εισαγωγή import
- σε in
- ακέρ Int
- άκυρος invalid
- μήκος length
- λίστα List
- τοπική local
- ταίριασμα match
- ταίριασμα_expr match_expr
- μέγιστο max
- ελάχιστο min
- υπόλοιπο mod
- άρθρωμα module
- όνομα name
- όχι_δείκτης no_index
- κενό none
- άνοιγμα open
- ή or
- ιδιωτικό private
- πλειάδα Prod
- δημόσιο public
- register_σφάλμα_explanation register_error_explanation
- επιστροφή return
- σύνολο_option set_option
- 'ðixno show
- 'ðixno_term_elab show_term_elab
- μέγεθος size
- αλφαριθμητικό String
- tactic_όνομα tactic_name
- εργασία Task
- termination_κατά termination_by
- ρίξε throw
- αληθής true
- δοκίμασε try
- byte UInt8
- άκυρο Unit
- έγκυρος valid
- μεταβλητή variable
- όσο while
- με with
- με_a'ðinamos_namespace with_weak_namespace