k-doc

documentation of k theorem prover

Build status: failed missing license metadata

Documentation README Download
Authors
Documentation
  • k
Tags
License
    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-doc#develop2b5f5066806a5bbd0733b781a2ed5fce6956a4f5
    Last checkedSunday, December 7th, 2025 8:58:39am (UTC)
    Last editedMonday, January 10th, 2022 11:37:52pm (UTC)
    Date addedTuesday, January 4th, 2022 5:45:46pm (UTC)
    Modules
    • k/pages/library.scrbl
    • k/pages/language.scrbl
    • k/k.scrbl
    • k/pages/helper.rkt