(
(
(
Racket
)
)
)
Need Help?
About
Download
Documentation
PLaneT
Community
Learning
Home
>
cce
>
dracula.plt
>
package version 8.24
lang
Directories
primitive-procedures
Files
acl.rkt
acl2-app.rkt
acl2-io.rkt
acl2-reader.rkt
acl2-readtable.rkt
acl2-top.rkt
acl2.gif
case-match.rkt
conditionals.rkt
constants.rkt
declare.rkt
defconst.rkt
deflist.rkt
defstructure.rkt
defthm.rkt
defun.rkt
do-check.rkt
dracula-core.rkt
dracula-module-begin.rkt
dracula.rkt
equality.rkt
in-package.rkt
include-book.rkt
let.rkt
nil-macros.rkt
parameters.rkt
printer.rkt
prover.rkt
quote.rkt
syntax-checks.rkt
t-or-nil.rkt
theorems.rkt
with-prover-time-limit.rkt
![[logo]](/logo.png){kind=logo}
