k-lib

libraries of k theorem prover

Build status: failed missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Last updatedTuesday, August 16th, 2022 1:58:15pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/racket-tw/k.git?path=k-lib#develop2b5f5066806a5bbd0733b781a2ed5fce6956a4f5
      Last checkedTuesday, July 1st, 2025 11:55:13am (UTC)
      Last editedMonday, January 10th, 2022 11:36:06pm (UTC)
      Date addedTuesday, January 4th, 2022 5:45:25pm (UTC)
      Modules
      • k/data/list.rkt
      • k/data/bool.rkt
      • k/data/vec.rkt
      • k/data/fin.rkt
      • k/data/nat.rkt
      • k/equality.rkt
      • k/sigma.rkt
      • k/dec.rkt