From bb9ad00fce55d539a2cb7664ced14b78a3c681fb Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Wed, 22 Sep 2021 22:00:08 +0000 Subject: deploy: bf845f5601bef0b7b1bafa5db39a4a116a6a8d3b --- 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 60a9d58..3277755 100644 --- a/docs/building/index.html +++ b/docs/building/index.html @@ -2,7 +2,7 @@ The project is written in Coq, a theorem prover, which is extracted to OCaml so that it can then be compiled and executed. The dependencies of this project are the following: Coq: theorem prover that is used to also program the HLS tool.">Building Vericert | Vericert + 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 -- cgit