TY  - RPRT
TI  - Proof Pad: A New Development Environment for ACL2
AU  - Caleb Eggensperger
PY  - 2013
DO  - 10.4204/eptcs.114.2
UR  - https://arxiv.org/abs/1304.7856
ID  - 1304.7856
ER  -