 Michael Zhang
|
c790f7bfc3
|
sstill working
|
2024-06-12 15:23:54 -04:00 |
|
|
Michael Zhang
|
c0191ea593
|
try
|
2024-06-12 09:22:36 -04:00 |
|
|
Michael Zhang
|
e416d21387
|
updated?
|
2024-06-11 09:16:03 -04:00 |
|
|
Michael Zhang
|
a01be24558
|
complete day 1
|
2024-06-11 09:09:51 -04:00 |
|
|
Michael Zhang
|
be266049f0
|
more progress on proof
|
2024-06-10 22:56:36 -04:00 |
|
|
Michael Zhang
|
100db8f8f0
|
updates
|
2024-06-07 10:22:38 -04:00 |
|
|
Michael Zhang
|
e2897de4ca
|
day 4
|
2024-06-06 10:21:04 -04:00 |
|
|
Michael Zhang
|
d2afe9399c
|
ye
|
2024-06-05 15:26:46 -04:00 |
|
|
Michael Zhang
|
2a2e7d279b
|
day 3
|
2024-06-05 10:23:33 -04:00 |
|
|
Michael Zhang
|
ecb3ad58e3
|
notes
|
2024-06-04 18:56:00 -04:00 |
|
|
Michael Zhang
|
f2eee785d8
|
update
|
2024-06-04 13:52:15 -04:00 |
|
|
Michael Zhang
|
f5dc06fc69
|
day 2 pfenning
|
2024-06-04 10:31:23 -04:00 |
|
|
Michael Zhang
|
299da9bef4
|
logical relations
|
2024-06-03 15:24:07 -04:00 |
|
|
Michael Zhang
|
3ebd38caad
|
init
|
2024-06-03 15:00:06 -04:00 |
|