k

k theorem prover

Build status: failed valid license

Authors
Documentation
Tags
License
Last updatedWednesday, February 26th, 2025 12:16:54am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/racket-tw/k.git?path=k#develop2b5f5066806a5bbd0733b781a2ed5fce6956a4f5
Last checkedTuesday, April 1st, 2025 7:36:21pm (UTC)
Last editedTuesday, January 4th, 2022 5:44:35pm (UTC)
Date addedMonday, August 16th, 2021 3:09:45pm (UTC)
Modules