Report copyright - DrACuLa: ACL2 in DrSchemeDracula is a plug-in for DrScheme. • Translates Lisp to Scheme using PLT Scheme macros. • Inherits lots of DrScheme infrastructure automatically. First
Please pass captcha verification before submit form
Please pass captcha verification before submit form