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