9 Commits

Author	SHA1	Message	Date
Max Schumacher	1c5fecd845	Merge pull request #4140 from dbenn/patch-1 ... [coq/en] Update coq.html.markdown	2021-03-21 15:23:05 +01:00
Max Schumacher	4452699279	Merge pull request #4141 from dbenn/patch-2 ... [coq/en] 8-bits => 8-bit	2021-03-21 15:22:44 +01:00
dbenn	160ecc8be8	[coq/en] remove extra "prove" from comment ... Line 475 has an extra "prove" in a comment so removed it	2021-03-13 14:39:37 +10:30
dbenn	835bae31ef	[coq/en] 8-bits => 8-bit ... change 8-bits in comment to singular	2021-03-13 13:44:58 +10:30
dbenn	c5d94d3493	Update coq.html.markdown ... Suggested correction to make_inc and inc_2 as having `nat` types rather than `int`.	2021-03-13 12:26:11 +10:30
Simon Shine	672b3804f9	[coq/en] Fix code width ... Many lines exceed the 80 character limit that makes the code wrap around on the website. This mainly addresses comments. The comment style has been preserved. For the code lines that exceeded 80 characters, I have not adhered to any style.	2019-11-26 14:11:46 +01:00
Adam Bard	06e05c4ce3	Back to coq highlighting	2019-11-24 13:39:20 -08:00
Adam Bard	f1d03b0318	Try ocaml highlighting with coq	2019-11-19 11:18:49 -08:00
philzook58	e81c081dc3	Add Coq tutorial	2019-11-12 00:02:53 -05:00