|
|
abcb96511e
|
[PS] Some small tweaks
|
2026-03-09 14:22:54 +01:00 |
|
|
|
8da8d3de0e
|
[DMDB] Notes for this week
|
2026-03-07 11:37:16 +01:00 |
|
|
|
20c1d2ccc2
|
[FMFP] Typing
|
2026-03-05 17:26:52 +01:00 |
|
|
|
43352a0b10
|
[FMFP] Typing introduction
|
2026-03-05 14:12:06 +01:00 |
|
|
|
e83c64315a
|
[FMFP] Start typing summary
|
2026-03-04 08:14:51 +01:00 |
|
|
|
3f18e92896
|
[PS] Probably summarized all of tomorrow's content
|
2026-03-03 17:00:01 +01:00 |
|
|
|
93dffbedea
|
[PS] Random variables
|
2026-03-03 16:04:04 +01:00 |
|
|
|
79fe498f26
|
[FMFP] Summarize induction for lists
|
2026-03-03 13:38:07 +01:00 |
|
|
|
948bc1f567
|
[FMFP] Correctness
|
2026-03-02 17:01:01 +01:00 |
|
|
|
af1208bed4
|
[DMDB] Some more notes
|
2026-03-01 13:14:12 +01:00 |
|
|
|
0a8462e1b7
|
[PS] More fixes
|
2026-03-01 09:55:51 +01:00 |
|
|
|
d02ddf44dc
|
[PS] Fix more errors
|
2026-02-28 20:47:26 +01:00 |
|
|
|
0af2aeaa08
|
[PS] Fix error
|
2026-02-28 19:55:35 +01:00 |
|
|
|
00b0bdfb60
|
[DMDB] Some notes
|
2026-02-28 18:04:32 +01:00 |
|
|
|
6216dc0691
|
[FMFP] Somewhat caught up
|
2026-02-28 15:40:38 +01:00 |
|
|
|
c079e88fe9
|
[FMFP] Mostly summarized formal reasoning
|
2026-02-28 15:21:27 +01:00 |
|
|
|
9d72814b56
|
[FMFP] Start summary
|
2026-02-27 17:11:45 +01:00 |
|
|
|
18734a18b6
|
[DMDB] Finish set up
|
2026-02-26 16:31:00 +01:00 |
|
|
|
3c74897809
|
[CN] Set up
|
2026-02-26 14:10:22 +01:00 |
|
|
|
02a96609a8
|
[FMFP] Set up
|
2026-02-26 14:10:19 +01:00 |
|
|
|
9f00357165
|
[DMDB] Set up
|
2026-02-26 14:10:14 +01:00 |
|
|
|
77f3af0246
|
[PS] Almost caught up
|
2026-02-25 19:46:07 +01:00 |
|
|
|
10b06ac97c
|
[Sem4] Update to new helpers
|
2026-02-25 09:17:34 +01:00 |
|
RobinB27
|
2d48c0fd16
|
[PS] ch. 1
|
2026-02-23 14:56:27 +01:00 |
|
|
|
383d26adc6
|
[PS] Intro: Independence and finish
|
2026-02-23 07:55:56 +01:00 |
|
|
|
3b8d85523b
|
[PS] Intro: Probably (lol) catch up
|
2026-02-22 16:14:49 +01:00 |
|
|
|
cdb7d46f22
|
[PS] Intro: Examples, properties
|
2026-02-22 12:16:26 +01:00 |
|
|
|
08a1324efe
|
[PS] Continue introduction
|
2026-02-21 19:54:49 +01:00 |
|
|
|
ec39c30933
|
[PS] Start summarizing
|
2026-02-21 18:10:53 +01:00 |
|
|
|
4a550514fe
|
[PS] Move to new helpers (WIP)
|
2026-02-19 19:49:51 +01:00 |
|
RobinB27
|
3c84f36c3e
|
[PS] basics
|
2026-02-18 14:30:09 +01:00 |
|
|
|
5985ff216b
|
[PS] Setup
|
2026-02-18 13:45:28 +01:00 |
|
RobinB27
|
f341377757
|
[PS] setup
|
2026-02-18 13:01:42 +01:00 |
|
|
|
84338a6df1
|
[Sem4] Set up
|
2026-02-18 07:53:21 +01:00 |
|
