GitHub repository: jscoq/coqdoc-template
Primary language: JavaScript
Created: 2023-09-07T09:28:24Z
Description: Basic coqdoc template for jsCoq