Commit Graph

3 Commits

Author SHA1 Message Date
ff3f5779a5 Cleanup 2024-04-25 16:39:23 -07:00
17e019fd02 Added URL to all handouts 2024-04-01 21:50:50 -07:00
179d06fd1e Moved Proof techniques 2023-12-09 18:19:12 -08:00