From 8fcb210c336a50b81cf726e161ed82981bfbec5d Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Fri, 22 Jan 2021 21:30:03 +0000 Subject: deploy: a596c0c469d7c61b5ed8dfaf8805a926024a3a72 --- coq-style-guide/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq-style-guide/index.html') diff --git a/coq-style-guide/index.html b/coq-style-guide/index.html index 7272741..81250f8 100644 --- a/coq-style-guide/index.html +++ b/coq-style-guide/index.html @@ -3,7 +3,7 @@ Code organization # Legal banner # Files should begin with a copyright/licens Code organization # Legal banner # Files should begin with a copyright/license banner, as shown in the example above.">Coq Style Guide | Vericert

Coq Style Guide -

This style guide was taken from Silveroak, it outlines code style for Coq code +

Coq Style Guide

This style guide was taken from Silveroak, it outlines code style for Coq code in this repository. There are certainly other valid strategies and opinions on Coq code style; this is laid out purely in the name of consistency. For a visual example of the style, see the example at the bottom of this file.

Code organization -- cgit