k

k theorem prover

Build status: failed

README Download
Authors
Documentation
    Tags
    Last updatedSaturday, September 18th, 2021 3:16:45am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/racket-tw/k.git#develop43f491fe92037aef8571fcc42cf0638a27996c89
    Last checkedMonday, September 27th, 2021 3:16:54am (UTC)
    Last editedTuesday, August 31st, 2021 5:42:03pm (UTC)
    Date addedMonday, August 16th, 2021 3:09:45pm (UTC)
    Modules
    • k/lib/bind.rkt
    • k/lib/check.rkt
    • k/base.rkt
    • k/scribblings/k.scrbl
    • k/lib/core.rkt
    • k/test/equality.rkt
    • k/lib/data.rkt
    • k/data/nat.rkt
    • k/data/list.rkt
    • k/main.rkt
    • k/equality.rkt
    • k/lib/def.rkt
    • k/example/check-equality.rkt
    • k/lib/type.rkt
    • k/data/fin.rkt
    • k/example/dep-on-term.rkt
    • k/example/id.rkt
    • k/data/bool.rkt
    • k/example/nat-thms.rkt
    • k/scribblings/helper.rkt
    • k/data/vec.rkt
    • k/scribblings/library.scrbl
    • k/lib/typeof.rkt
    • k/scribblings/language.scrbl