k

k theorem prover

Build status: ok dependency problems passing tests

Authors
Documentation
Tags
Last updatedTuesday, January 25th, 2022 4:43:35am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/racket-tw/k.git?path=k#develop94032f8b3a3439ba5b6076f498b39ccf33e0bc5d
Last checkedFriday, January 28th, 2022 2:42:01am (UTC)
Last editedTuesday, January 4th, 2022 5:44:35pm (UTC)
Date addedMonday, August 16th, 2021 3:09:45pm (UTC)
Modules