On Monday we’ll talk about Euler circuits in graphs. On Wednesday and Friday I plan to show a bit about how to use the LEAN proof assistant to encode and confirm proofs.
The final lecture will be a review lecture on Monday Dec 8.
On Monday we’ll talk about Euler circuits in graphs. On Wednesday and Friday I plan to show a bit about how to use the LEAN proof assistant to encode and confirm proofs.
The final lecture will be a review lecture on Monday Dec 8.