TY  - RPRT
TI  - Can Proof Assistants Verify Multi-Agent Systems?
AU  - Julian Alfredo Mendez
AU  - Timotheus Kampik
PY  - 2025
UR  - https://arxiv.org/abs/2503.06812
ID  - 2503.06812
ER  -