Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
Forked from David Hamelin / jscoq-light
Source project has a limited visibility.
  • Shachar Itzhaky's avatar
    9689433f
    [feature] jscoqdoc. · 9689433f
    Shachar Itzhaky authored 
    A useful utility for injecting jsCoq into documents generated by `coqdoc`.
Adapted from a hack I used for Software Foundations.

To demonstrate its use, `nahas_tutorial.v` is used as an example.
    9689433f
    History
    [feature] jscoqdoc.
    Shachar Itzhaky authored 
    A useful utility for injecting jsCoq into documents generated by `coqdoc`.
Adapted from a hack I used for Software Foundations.

To demonstrate its use, `nahas_tutorial.v` is used as an example.