ACL2 in DrScheme

Dale Vaillancourt, Rex Page, Matthias Felleisen
2006 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06  
doi:10.1145/1217975.1217999 dblp:conf/acl2/VaillancourtPF06 fatcat:g7m4bt5vgvg77bl2vv7zqkp3wu