Lean & ITP
Kurs Leana oraz ITP (interactive theorem proving).
Skrypt w PDF
Zestawy zadań:
- Zestaw 1 (logika)
- Zestaw 2 (przekształcenia, równości i nierówności, kwantyfikatory)
- Zestaw 3 (trudniejsze przekształcenia, grupa przemienna)
- Zestaw 4 (skończony pierścień całkowity, indukcja)