lean / keywords
139 entries at this level
- 추가하다_decl_doc add_decl_doc
- 모두 all
- 그리고 and
- 배열 Array
- 단언 assert
- 단언_아니다_존재하다 assert_not_exists
- 단언_아니다_가져온 assert_not_imported
- 비동기 async
- 속성 attribute
- 동작 behavior
- 바인더_술어 binder_predicate
- 불리언 Bool
- 둘-다 both
- 중단 break
- 내장_초기화 builtin_initialize
- ...에-의해 by
- 잡기 catch
- 문자 char
- 문자 Char
- 클래스 class
- 비교 compare
- 계속하다 continue
- dbg_추적 dbg_trace
- 선언_구문_고양이 declare_syntax_cat
- decreasing_...에_의해 decreasing_by
- 디폴트_인스턴스 default_instance
- 종속의 dependent
- 사용_중단됨_모듈 deprecated_module
- 사용_중단됨_구문 deprecated_syntax
- 하다 do
- docs_...으로_이면 docs_to_verso
- elab_규칙 elab_rules
- 아니면 else
- 끝 end
- 끝_로컬_범위 end_local_scope
- 엡실론 epsilon
- 같음 Eq
- 오류 error
- 기대값 expected
- 내보내기 export
- 노출 expose
- 확장하다 extends
- 실패 failure
- 거짓 false
- 정리 finally
- 부동소수 Float
- ...을-위한 for
- 출처 from
- 함수 fun
- 인덱스 get
- 맵 HashMap
- 셋 HashSet
- 가지다 have
- 숨김 hiding
- 식별자 identifier
- 만약 if
- 가져오기 import
- 안에 in
- 포함하다 include
- 들여쓰기 indentation
- 초기화 initialize
- 인라인 inline
- 인스턴스 instance
- 정수형 Int
- 도입 intro
- 무효 invalid
- 키워드 keyword_tokens
- 행간_parser leading_parser
- 길이 length
- let_지연됨 let_delayed
- let_함수 let_fun
- 리스트 List
- 로컬 local
- 매크로 macro
- 매크로_규칙 macro_rules
- 맞추다 match
- 맞추다_expr match_expr
- 최댓값 max
- 최솟값 min
- 나머지 mod
- 모듈 module
- 이름 name
- 이름공간 namespace
- 아니오_색인 no_index
- 없음 none
- 표기 notation
- 생략 omit
- 불투명 opaque
- 열기 open
- 또는 or
- 부분적인 partial
- 부분적인_fixpoint partial_fixpoint
- 접두사 prefix
- 프렐류드 prelude
- 비공개 private
- 튜플 Prod
- 공공 public
- 추천됨_철자법 recommended_spelling
- 등록하다_오류_설명 register_error_explanation
- 등록하다_parser_별명 register_parser_alias
- 등록하다_tactic_태그 register_tactic_tag
- 이름-바꾸기 renaming
- 반환 return
- 섹션 section
- 설정하다_옵션 set_option
- 표시 show
- 표시_elab show_term_elab
- 부터 since
- 싱글톤 singleton
- 크기 size
- 건너-뛰다 skip
- 특수화하다 specialize
- 문자열 String
- 구조 structure
- 기호 symbol
- 구문 syntax
- tactic_대체 tactic_alt
- tactic_확장 tactic_extension
- tactic_이름 tactic_name
- tactic_태그 tactic_tag
- 태그 tags
- 태스크 Task
- 종료_...에_의해 termination_by
- 발생 throw
- 후행_parser trailing_parser
- 참 true
- 시도 try
- 바이트 UInt8
- 공백 Unit
- 알-수-없음 unknown
- ...이-아니면 unless
- unlock_제한 unlock_limits
- 이-될-때까지 until
- 유효 valid
- 변수 variable
- 어느-위치에 where
- 동안 while
- -와 with
- -와_약한_이름공간 with_weak_namespace