k

k theorem prover

Build status: failed valid license

README Download
Documentation
    Tags
    License
    Last updatedTuesday, August 16th, 2022 1:58:12pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/racket-tw/k.git?path=k#develop2b5f5066806a5bbd0733b781a2ed5fce6956a4f5
    Last checkedTuesday, March 21st, 2023 4:27:54pm (UTC)
    Last editedTuesday, January 4th, 2022 5:44:35pm (UTC)
    Date addedMonday, August 16th, 2021 3:09:45pm (UTC)
    Modules