단고 데일리
개발자를 위한 AI 및 테크 뉴스, 한 꼬치에 쏙.
홈
이벤트
소비자 테크
언어
튜토리얼
아카이브
RSS
🔍
🇨🇳
🇬🇧
🇯🇵
🇰🇷
🇪🇸
🇫🇷
🇩🇪
#타입 이론
1 개 글 ·
모든 태그
📡 Events
October 18, 2026
Lean 4.35에 탑재된 4개의 커널: 증명 검사기 자체를 기계로 증명하다
Lean
형식 검증
AI 코드 감사
컴파일러
검색
×
×
