TY  - RPRT
TI  - Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
AU  - Grant Passmore
AU  - Ruben Gamboa
PY  - 2020
DO  - 10.4204/eptcs.327
UR  - https://arxiv.org/abs/2009.12521
ID  - 2009.12521
ER  -