►
Logic & Computation
Syllabus
Schedule
Lectures
Homework
Lean Tactic Reference
▼
Homework
1
Homework 1
2
Homework 2
3
Homework 3
4
Homework 4
5
Homework 5
6
Homework 7
7
Homework 9
8
Homework 10
9
Homework 11
10
Homework 12
8.7
contents
← prev
up
next →
Homework
contents
← prev
up
next →