Sergey Goncharov a3927e720b pc sync

2026-05-28 21:15:47 +01:00

..

big-step-short.pdf

init

2026-05-19 16:36:51 +01:00

cc-by.pdf

init

2026-05-19 16:36:51 +01:00

lipics-logo-bw.pdf

init

2026-05-19 16:36:51 +01:00

lipics-v2021.cls

init

2026-05-19 16:36:51 +01:00

Makefile

init

2026-05-19 16:36:51 +01:00

orcid.pdf

init

2026-05-19 16:36:51 +01:00

references.bib

revised version

2026-05-21 09:36:28 +01:00

sym-sim.tex

pc sync

2026-05-28 21:15:47 +01:00

TODO.md

init

2026-05-19 16:36:51 +01:00