Skip to content
Snippets Groups Projects
Select Git revision
  • ultra-light
  • SharedArrayBuffer
  • v8.17 default protected
3 results
Blame Permalink
Forked from David Hamelin / jscoq-light
415 commits behind the upstream repository.
  • 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.
jscoq-agent.js 2.55 KiB