TY  - RPRT
TI  - Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications
AU  - Alessandro Coglio
AU  - Sol Swords
PY  - 2023
DO  - 10.4204/eptcs.393
UR  - https://arxiv.org/abs/2311.08373
ID  - 2311.08373
ER  -