summaryrefslogtreecommitdiffhomepage
path: root/coq.html.markdown
Commit message (Expand)AuthorAgeLines
* 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