(
(
(
Racket
)
)
)
Need Help?
About
Download
Documentation
PLaneT
Community
Learning
Home
>
cce
>
dracula.plt
>
package version 1.7
language
Directories
acl2-html-docs
primitive-procedures
teachpacks
Files
acl2-app.scm
acl2-io.scm
acl2-location-pref.scm
acl2-module-v.scm
acl2-path-to-lisp-command.scm
acl2-reader.scm
acl2-readtable.scm
acl2-settings-sig.scm
acl2-settings.scm
acl2-top.scm
acl2.gif
admit-before-run-pref.scm
case-match.scm
checking-proc.scm
conditionals.scm
config-panel-sig.scm
config-panel.scm
constants.scm
declare.scm
defconst.scm
deflist.scm
defstructure.scm
defthm.scm
defun-state.scm
defun.scm
doc.txt
dracula-core.scm
dracula-language-interface-sig.scm
dracula-language-interface.scm
dracula-language-sig.scm
dracula-language-tool.scm
dracula-language.scm
dracula-module-begin-util.scm
dracula-module-begin.scm
dracula.scm
eprintf.scm
event-form.scm
find-acl2.scm
in-package.scm
include-book.scm
let.scm
literal-identifier=.scm
nil-macros.scm
parameters.scm
printer.scm
quote.scm
require-provide-language.scm
syntax-checks.scm
t-or-nil.scm
teachpack-defun.scm
teachpack-dracula.scm
with-prover-time-limit.scm
![[logo]](/logo.png){kind=logo}
