dracula

Dracula: ACL2 theorem prover tools in DrRacket

Build status: failed missing license metadata

Authors
Documentation
Tags
License
Last updatedTuesday, January 9th, 2024 1:07:25pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgithub://github.com/carl-eastlund/dracula/releasee50a9ab1d609c339ca94272770213cf746c8ba0b
Last checkedMonday, December 2nd, 2024 3:45:20pm (UTC)
Last editedMonday, February 24th, 2014 4:07:18am (UTC)
Date addedN/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