| Commit message (Collapse) | Author | Age | Lines | |
|---|---|---|---|---|
| * | Back to coq highlighting | Adam Bard | 2019-11-24 | -1/+1 |
| | | ||||
| * | Try ocaml highlighting with coq | Adam Bard | 2019-11-19 | -1/+1 |
| | | ||||
| * | Add Coq tutorial | philzook58 | 2019-11-12 | -0/+478 |
 |
index : learnxinyminutes-docs | |
| Code documentation written as code! How novel and totally my idea! |
| summaryrefslogtreecommitdiffhomepage |
path: root/coq.html.markdown