TY  - RPRT
TI  - Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
AU  - Jan Liam Verter
AU  - Tomas Petricek
PY  - 2024
UR  - https://arxiv.org/abs/2409.13872
ID  - 2409.13872
ER  -