k-core

core of k theorem prover

Build status: ok passing tests missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Language familiesRacket
      Last updatedTuesday, January 9th, 2024 1:12:27pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Build platformsany platform
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/racket-tw/k.git?path=k-core#develop2b5f5066806a5bbd0733b781a2ed5fce6956a4f5
      Last checkedThursday, June 18th, 2026 6:28:55pm (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