k-doc

documentation of k theorem prover

Build status: failed

Authors
Documentation
Tags
Last updatedThursday, June 9th, 2022 9:57:55am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/racket-tw/k.git?path=k-doc#developd0c2db90ca602ff96c1b7a83ac533fa3d0e759ca
Last checkedSaturday, June 25th, 2022 7:57:37pm (UTC)
Last editedMonday, January 10th, 2022 11:37:52pm (UTC)
Date addedTuesday, January 4th, 2022 5:45:46pm (UTC)
Modules
  • k/pages/library.scrbl
  • k/pages/language.scrbl
  • k/k.scrbl
  • k/pages/helper.rkt