| Commit message (Expand) | Author | Age | Lines | |
|---|---|---|---|---|
| * | [coq/en] remove extra "prove" from comment | dbenn | 2021-03-13 | -1/+1 |
| * | [coq/en] Fix code width | Simon Shine | 2019-11-26 | -88/+120 |
| * | 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