dracula

Dracula: ACL2 theorem prover tools in DrRacket

Build status: failed missing license metadata

Authors

cceλa0ce749

Documentation

Tags

License

Last updated

Tuesday, January 9th, 2024 1:07:25pm (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Compiled unsuccessfully: transcript

Version Exceptions

Version	Source	Checksum
default	github://github.com/carl-eastlund/dracula/release	e50a9ab1d609c339ca94272770213cf746c8ba0b

Last checked

Saturday, May 17th, 2025 12:16:21pm (UTC)

Last edited

Monday, February 24th, 2014 4:07:18am (UTC)

Date added

N/A

Modules

dracula/self/require.rkt
dracula/reference/acl2/alists.scrbl
dracula/teachpacks/binary-io-utilities.rkt
dracula/modular/static-rep.rkt
dracula/teachpacks/io-utilities-scheme.rkt
dracula/reference/teachpacks/io-utilities.scrbl
dracula/acl2/parse.rkt
dracula/teachpacks/list-utilities.rkt
dracula/private/scheme/test/test-drscheme.rkt
dracula/lang/quote.rkt
dracula/private/fasttest/rackunit.rkt
dracula/lang/in-package.rkt
dracula/test/run-tests.rkt
dracula/teachpacks/io-utilities.rkt
dracula/private/fasttest/test.rkt
dracula/private/scheme/slideshow.rkt
dracula/lang/defun.rkt
dracula/modular/main.rkt
dracula/private/scheme/test/test-debug.rkt
dracula/modular/require.rkt
dracula/private/scheme/private/syntax-core.rkt
dracula/main.rkt
dracula/modular/module.rkt
dracula/private/scheme/match.rkt
dracula/teachpacks/doublecheck.rkt
dracula/reference/acl2/acl2.scrbl
dracula/teachpacks/little-prover.rkt
dracula/modular/world.rkt
dracula/reference/acl2/events.scrbl
dracula/proof/syntax.rkt
dracula/reference/reference.scrbl
dracula/acl2/acl2.rkt
dracula/lang/prover.rkt
dracula/reference/teachpacks/list-utilities.scrbl
dracula/teachpacks/audio.rkt
dracula/drscheme/proof-state.rkt
dracula/test/test-language.rkt
dracula/lang/acl2-app.rkt
dracula/test/test-library.rkt
dracula/lang/dracula-core.rkt
dracula/drscheme/dracula-state.rkt
dracula/private/scheme/web.rkt
dracula/private/scheme/dict.rkt
dracula/private/regexp.rkt
dracula/reference/acl2/ordinals.scrbl
dracula/modular/dynamic-rep.rkt
dracula/reference/teachpacks/j-bob.scrbl
dracula/private/scheme/test/test-web.rkt
dracula/private/scheme/sandbox.rkt
dracula/test/program-tests.rkt
dracula/lang/with-prover-time-limit.rkt
dracula/reference/teachpacks/j-bob-lang.scrbl
dracula/reference/acl2/sets.scrbl
dracula/test/test-regexp.rkt
dracula/lang/acl2-top.rkt
dracula/lang/dracula.rkt
dracula/reference/modular/modular.scrbl
dracula/guide/guide.scrbl
dracula/private/scheme/test/test-class.rkt
dracula/lang/include-book.rkt
dracula/drscheme/dracula-drscheme-tab.rkt
dracula/private/scheme/syntax.rkt
dracula/private/scheme/test/test-port.rkt
dracula/test/test-state.rkt
dracula/reference/teachpacks/testing.scrbl
dracula/reference/teachpacks/teachpacks.scrbl
dracula/private/scheme/test/test-scribble.rkt
dracula/lang/declare.rkt
dracula/private/scheme/debug.rkt
dracula/test/data-parse.rkt
dracula/modular/syntax-meta.rkt
dracula/lang/case-match.rkt
dracula/reference/acl2/bitwise.scrbl
dracula/modular/keywords.rkt
dracula/private/scheme/test/test-hash.rkt
dracula/lang/equality.rkt
dracula/private/scheme/test/test-queue.rkt
dracula/private/scheme/drscheme.rkt
dracula/drscheme/dracula-drscheme-definitions.rkt
dracula/self/module-path.rkt
dracula/test/test-parse.rkt
dracula/private/scheme/test/test-contract.rkt
dracula/private/scheme/class.rkt
dracula/reference/teachpacks/little-prover.scrbl
dracula/test/test-modular.rkt
dracula/lang/acl.rkt
dracula/private/scheme/test/test-values.rkt
dracula/reference/teachpacks/world.scrbl
dracula/lang/do-check.rkt
dracula/lang/acl2-io.rkt
dracula/lang/t-or-nil.rkt
dracula/private/scheme/contract.rkt
dracula/reference/acl2/datatypes.scrbl
dracula/private/fasttest/private/random-stream.rkt
dracula/private/scheme/test/test-regexp.rkt
dracula/private/scheme/test/test-dict.rkt
dracula/reference/acl2/arithmetic.scrbl
dracula/private/scheme/text.rkt
dracula/reference/acl2/characters.scrbl
dracula/drscheme/executable-path.rkt
dracula/modular/interface.rkt
dracula/test/test-teachpacks.rkt
dracula/reference/acl2/unsupported.scrbl
dracula/reference/acl2/parameters.scrbl
dracula/acl2/rep.rkt
dracula/lang/syntax-checks.rkt
dracula/lang/acl2-reader.rkt
dracula/test/test-private.rkt
dracula/reference/teachpacks/audio.scrbl
dracula/reference/acl2/strings.scrbl
dracula/drscheme/dracula-proof-panel.rkt
dracula/lang/printer.rkt
dracula/private/scheme/hash.rkt
dracula/teachpacks/avl-rational-keys.rkt
dracula/private/fasttest/examples/tutorial.rkt
dracula/modular/top.rkt
dracula/modular/teachpacks.rkt
dracula/modular/world-teachpack.rkt
dracula/lang/deflist.rkt
dracula/private/scheme/test/test-slideshow.rkt
dracula/private/scheme/queue.rkt
dracula/private/scheme/test/test-exn.rkt
dracula/private/scheme/regexp.rkt
dracula/guide/modular.scrbl
dracula/lang/parameters.rkt
dracula/lang/defconst.rkt
dracula/private/scheme/gui.rkt
dracula/lang/acl2-readtable.rkt
dracula/private/fasttest/examples/stress.rkt
dracula/drscheme/tool.rkt
dracula/proof/proof.rkt
dracula/private/scheme/test/test-function.rkt
dracula/private/scheme/lang.rkt
dracula/reference/acl2/booleans.scrbl
dracula/private/fasttest/random.rkt
dracula/private/scheme/require-provide.rkt
dracula/self/scribble.rkt
dracula/private/scheme/planet.rkt
dracula/private/scheme/set.rkt
dracula/private/scheme/test/test-match.rkt
dracula/guide/display.rkt
dracula/drscheme/dracula-drscheme-frame.rkt
dracula/private/scheme/port.rkt
dracula/private/scheme/test/test-syntax.rkt
dracula/lang/constants.rkt
dracula/guide/doublecheck.scrbl
dracula/acl2/buffer.rkt
dracula/private/scheme/test/test-define.rkt
dracula/teachpacks/rand.rkt
dracula/private/scheme/test/test-planet.rkt
dracula/modular/invoke.rkt
dracula/private/scheme/test/test-set.rkt
dracula/modular/link.rkt
dracula/test/test-proof.rkt
dracula/drscheme/dracula-language-level.rkt
dracula/private/scheme/values.rkt
dracula/private/scheme/define.rkt
dracula/reference/acl2/books.scrbl
dracula/private/scheme/scribble.rkt
dracula/lang/let.rkt
dracula/private/hash.rkt
dracula/reference/teachpacks/avl-rational-keys.scrbl
dracula/lang/primitive-procedures/acl2-prims-scheme.rkt
dracula/private/scheme/function.rkt
dracula/teachpacks/j-bob-lang.rkt
dracula/modular/list-set.rkt
dracula/reference/acl2/symbols.scrbl
dracula/private/scheme/test/test-require-provide.rkt
dracula/private/scheme/test/test-main.rkt
dracula/test/data-state.rkt
dracula/lang/primitive-procedures/acl2-prims.rkt
dracula/private/scheme/private/define-core.rkt
dracula/drscheme/dracula-interfaces.rkt
dracula/reference/teachpacks/binary-io-utilities.scrbl
dracula/lang/dracula-module-begin.rkt
dracula/reference/acl2/trees.scrbl
dracula/private/scheme/test/checks.rkt
dracula/teachpacks/testing.rkt
dracula/teachpacks/testing-gui.rkt
dracula/lang/theorems.rkt
dracula/lang/conditionals.rkt
dracula/private/scheme/exn.rkt
dracula/drscheme/term-state.rkt
dracula/private/scheme/main.rkt
dracula/lang/nil-macros.rkt
dracula/private/scheme/test/test-text.rkt
dracula/reference/acl2/expressions.scrbl
dracula/private/scheme/scheme.rkt
dracula/reference/acl2/lists.scrbl
dracula/guide/dracula.scrbl
dracula/guide/tutorial.scrbl
dracula/private/scheme/test/test-gui.rkt
dracula/teachpacks/j-bob.rkt
dracula/reference/teachpacks/doublecheck.scrbl
dracula/modular.rkt
dracula/lang/defthm.rkt
dracula/reference/acl2/sequences.scrbl
dracula/reference/evaluator.rkt
dracula/reference/acl2/library.scrbl
dracula/reference/teachpacks/rand.scrbl
dracula/test/data-proof.rkt
dracula/teachpacks/world.rkt
dracula/lang/defstructure.rkt
dracula/private/scheme/test/test-sandbox.rkt
dracula/reference/acl2/io.scrbl