From 80568aaef48fab6aff08d0cc724909e5afeee5dd Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Sun, 19 Sep 2021 23:17:53 +0000 Subject: deploy: 5508c21e064276aa4d5146b3af5b6f6e9a4c2364 --- docs/building/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/building') diff --git a/docs/building/index.html b/docs/building/index.html index a23c337..60a9d58 100644 --- a/docs/building/index.html +++ b/docs/building/index.html @@ -3,7 +3,7 @@ The project is written in Coq, a theorem prover, which is extracted to OCaml so Coq: theorem prover that is used to also program the HLS tool.">Building Vericert | Vericert -
+
Building Vericert

Building Vericert

To build Vericert, the provided Makefile can be used. External dependencies are needed to build the project, which can be pulled in automatically with nix using the provided default.nix and shell.nix -- cgit