scribble-coq

A library for typesetting Coq and coqtop interactions in Scribble.

Build status: failed missing license metadata

Authors
Documentation
Tags
License
Last updatedThursday, October 3rd, 2019 8:57:12pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/wilbowma/scribble-coq.git894ec4c1b1e97f3d50608bfba1c1d4361c7d3d5f
Last checkedSaturday, December 14th, 2024 8:49:08am (UTC)
Last editedTuesday, March 5th, 2019 2:50:29am (UTC)
Date addedTuesday, March 5th, 2019 2:50:29am (UTC)
Modules
  • scribble/coqtop-interop.rkt
  • scribble/coq.rkt
  • scribble/string-utils.rkt