scribble-coq

A library for typesetting Coq and coqtop interactions in Scribble.

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedTuesday, March 5th, 2019 9:04:53pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/wilbowma/scribble-coq.gitb7d0a3a8e718041ca66e286e9a343b43a87dc581
Last checkedMonday, September 23rd, 2019 2:53:53pm (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