Interactive Theorem Proving using Lean, Winter 2026/27
Interactive Theorem Proving using Lean, Winter 2026/27
Table of Contents
1.
Table of Contents
2.
Introduction
3.
Lean
4.
Type Theory
5.
Advanced Mathematics
6.
Advanced Topics
1.
Table of Contents
Source Code
Report Issues
←
Interactive Theorem Proving using Lean, Winter 2026/27
2. Introduction
→
1. Table of Contents
🔗
←
Interactive Theorem Proving using Lean, Winter 2026/27
2. Introduction
→
