![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| burst-coupling-latest.tar.gz | 2020-12-18 03:06 | 319K | |
| burst-coupling-snapshot.tar.gz | 2020-02-08 00:00 | 146K | |
| burst-coupling.c38df6b7b6f2.tar.gz | 2020-12-09 03:07 | 318K | |
| burst-coupling.dad56c57eb86.tar.gz | 2020-12-18 03:06 | 319K | |
| hol-proofs-latest.tar.gz | 2020-08-14 02:06 | 410K | |
| hol-proofs-snapshot.tar.gz | 2017-10-04 00:00 | 10K | |
| hol-proofs.70164f8a13b4.tar.gz | 2020-08-14 02:06 | 410K | |
| slayer-snapshot.tar.gz | 2015-04-07 00:00 | 1.3M | |
| slayer.a4b6e20eb19e.tar.gz | 2016-04-17 00:00 | 6.1M | |