| Commit message (Expand) | Author | Age | Lines | |
|---|---|---|---|---|
| * | Merge pull request #4140 from dbenn/patch-1 | Max Schumacher | 2021-03-21 | -2/+2 |
| |\ | ||||
| | * | Update coq.html.markdown | dbenn | 2021-03-13 | -2/+2 |
| * | | Merge pull request #4141 from dbenn/patch-2 | Max Schumacher | 2021-03-21 | -1/+1 |
| |\ \ | ||||
| | * | | [coq/en] 8-bits => 8-bit | dbenn | 2021-03-13 | -1/+1 |
| | |/ | ||||
| * / | [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