|
ahmed
|
sstill working
|
2024-06-12 15:23:54 -04:00 |
|
bourgeat
|
more progress on proof
|
2024-06-10 22:56:36 -04:00 |
|
chong
|
try
|
2024-06-12 09:22:36 -04:00 |
|
downen
|
notes
|
2024-06-04 18:56:00 -04:00 |
|
experiments
|
try
|
2024-06-12 09:22:36 -04:00 |
|
holtzen
|
sstill working
|
2024-06-12 15:23:54 -04:00 |
|
pfenning
|
updates
|
2024-06-07 10:22:38 -04:00 |
|
silva
|
day 4
|
2024-06-06 10:21:04 -04:00 |
|
stoughton
|
more progress on proof
|
2024-06-10 22:56:36 -04:00 |
|
zdancewic
|
try
|
2024-06-12 09:22:36 -04:00 |
|
.gitignore
|
day 2 pfenning
|
2024-06-04 10:31:23 -04:00 |
|
common.typ
|
notes
|
2024-06-04 18:56:00 -04:00 |
|
Makefile
|
update
|
2024-06-04 13:52:15 -04:00 |
|
oplss-2024.agda-lib
|
day 2 pfenning
|
2024-06-04 10:31:23 -04:00 |
|
oplss.typ
|
notes
|
2024-06-04 18:56:00 -04:00 |
