Commit graph

Select branches

Hide pull requests

master

Mono Color

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