(
(
(
Racket
)
)
)
Need Help?
About
Download
Documentation
PLaneT
Community
Learning
Home
>
cce
>
dracula.plt
>
package version 8.17
lang
Directories
primitive-procedures
Files
acl.rkt
acl2-app.rkt
acl2-io.rkt
acl2-location-pref.rkt
acl2-module-v.rkt
acl2-path-to-lisp-command.rkt
acl2-reader.rkt
acl2-readtable.rkt
acl2-settings-sig.rkt
acl2-settings.rkt
acl2-top.rkt
acl2.gif
admit-before-run-pref.rkt
case-match.rkt
check.rkt
conditionals.rkt
config-panel-sig.rkt
config-panel.rkt
constants.rkt
declare.rkt
defconst.rkt
deflist.rkt
defstructure.rkt
defthm.rkt
defun.rkt
do-check.rkt
doc.txt
dracula-core.rkt
dracula-language-interface-sig.rkt
dracula-language-interface.rkt
dracula-language-sig.rkt
dracula-module-begin.rkt
dracula.rkt
equality.rkt
find-acl2.rkt
in-package.rkt
include-book.rkt
let.rkt
nil-macros.rkt
no-check.rkt
parameters.rkt
printer.rkt
prover.rkt
quote.rkt
reader.rkt
syntax-checks.rkt
t-or-nil.rkt
theorems.rkt
with-prover-time-limit.rkt
![[logo]](/logo.png){kind=logo}
