Michael Zhang c790f7bfc3 sstill working		2024-06-12 15:23:54 -04:00
..
day1.agda	sstill working	2024-06-12 15:23:54 -04:00
day2.agda	try	2024-06-12 09:22:36 -04:00
notes.typ	more progress on proof	2024-06-10 22:56:36 -04:00