tpl-in-lean
tpl-in-lean
Table of Contents
들어가며
1장 술어 논리
2장 단순 명령형 언어
3장 명세와 그 증명
들어가며
왜 Lean 인가
저장소 구조
실습하는 법
←
tpl-in-lean
왜 Lean 인가
→
들어가며
🔗
왜 Lean 인가
저장소 구조
실습하는 법
←
tpl-in-lean
왜 Lean 인가
→