k-example

examples of using k theorem prover

Build status: failed missing license metadata

Authors
Documentation
Tags
License
Last updatedTuesday, August 16th, 2022 1:58:14pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/racket-tw/k.git?path=k-example#develop2b5f5066806a5bbd0733b781a2ed5fce6956a4f5
Last checkedThursday, April 25th, 2024 8:04:06pm (UTC)
Last editedMonday, January 10th, 2022 11:37:01pm (UTC)
Date addedTuesday, January 4th, 2022 5:46:30pm (UTC)
Modules