k

k theorem prover

Build status: failed

README Download
Authors
Documentation
    Tags
    Last updatedThursday, June 9th, 2022 9:57:54am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/racket-tw/k.git?path=k#developd0c2db90ca602ff96c1b7a83ac533fa3d0e759ca
    Last checkedThursday, June 30th, 2022 11:57:53am (UTC)
    Last editedTuesday, January 4th, 2022 5:44:35pm (UTC)
    Date addedMonday, August 16th, 2021 3:09:45pm (UTC)
    Modules