TY  - RPRT
TI  - Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
AU  - Kaustuv Chaudhuri
AU  - Daniele Nantes-Sobrinho
PY  - 2025
DO  - 10.4204/eptcs.431
UR  - https://arxiv.org/abs/2510.11199
ID  - 2510.11199
ER  -