k

k theorem prover

Build status: failed

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