scribble-coq

A library for typesetting Coq and coqtop interactions in Scribble.

Build status: failed missing license metadata

README Download
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 checkedSunday, December 7th, 2025 5:56:46pm (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