k-core

core of k theorem prover

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 16th, 2022 1:58:13pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/racket-tw/k.git?path=k-core#develop2b5f5066806a5bbd0733b781a2ed5fce6956a4f5
Last checkedMonday, September 26th, 2022 2:23:41am (UTC)
Last editedMonday, January 10th, 2022 11:35:55pm (UTC)
Date addedTuesday, January 4th, 2022 5:45:08pm (UTC)
Modules
  • k/check.rkt
  • k/bindings.rkt
  • k/base.rkt
  • k/data.rkt
  • k/builtin.rkt
  • k/type.rkt
  • k/def.rkt
  • k/helper/stx-util.rkt
  • k/helper/id-hash.rkt
  • k/main.rkt
  • k/core.rkt