File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
prooftree.sty | 12548 | 2021-Jul-06 09:42 |
lipics.cls | 24093 | 2021-Jul-06 09:25 |
fc-normalization-rta.tex | 85820 | 2021-Jul-06 09:42 |
fc-normalization-rta.bib | 210952 | 2021-Jul-06 09:42 |
denot.sty | 4660 | 2021-Jul-06 09:25 |
code.sty | 2395 | 2021-Jul-06 09:42 |
Makefile | 232 | 2021-Jul-06 09:25 |