Changes to Learning and Proof
- 2022-10-28 07:14:42 UTC (): fixed a scalar factor
- 2022-10-28 07:12:28 UTC (): debrief
- 2022-10-28 06:36:29 UTC (): debrief stub
- 2021-10-27 10:27:39 UTC (): Pruning lecture ntoes
- 2021-10-27 09:07:55 UTC (): minor additioN
- 2021-10-27 08:55:50 UTC (): lecture notes
- 2021-10-27 08:31:57 UTC (): lecture notes
- 2021-10-27 08:14:49 UTC (): stub
