scribble-coq

A library for typesetting Coq and coqtop interactions in Scribble.

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedThursday, October 3rd, 2019 8:57:12pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/wilbowma/scribble-coq.git894ec4c1b1e97f3d50608bfba1c1d4361c7d3d5f
Last checkedSunday, November 17th, 2019 5:43:09am (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/string-utils.rkt
  • scribble/coq.rkt