dracula

Dracula: ACL2 theorem prover tools in DrRacket

Build status: failed missing license metadata

Code
Documentation
    Tags
      License
        Last updatedTuesday, August 15th, 2017 4:51:48pm (UTC)
        Ring1
        ConflictsNone
        Dependencies
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaultgithub://github.com/carl-eastlund/dracula/releasee50a9ab1d609c339ca94272770213cf746c8ba0b
        Last checkedTuesday, March 21st, 2023 2:24:56pm (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