TY  - RPRT
TI  - A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java
AU  - Alessandro Coglio
PY  - 2022
DO  - 10.4204/eptcs.359.14
UR  - https://arxiv.org/abs/2205.11707
ID  - 2205.11707
ER  -