summaryrefslogtreecommitdiffhomepage
path: root/coq.html.markdown
Commit message (Expand)AuthorAgeLines
* Update coq.html.markdowndbenn2021-03-13-2/+2
* [coq/en] Fix code widthSimon Shine2019-11-26-88/+120
* Back to coq highlightingAdam Bard2019-11-24-1/+1
* Try ocaml highlighting with coqAdam Bard2019-11-19-1/+1
* Add Coq tutorialphilzook582019-11-12-0/+478