Commit e9c7f7bd authored by Lennard Gäher's avatar Lennard Gäher
Browse files


parent 07ad483c
......@@ -5,6 +5,8 @@ Over the course of the semester, we gradually provide prepared templates.
## Installation Instructions
### Windows
Unfortunately, Windows does not support the libraries we use for the course very well. If you can use one of the other operating systems (macOS or Linux), we recommend you do so and follow the instructions below. Otherwise, you can use the VM that can be downloaded from [our CMS](
......@@ -17,6 +19,11 @@ Depending on your available system resources, you may want to increase the defau
### Linux/macOS
Clone this repository:
git clone semantics-code
For the course, we recommend installing Coq through [opam](, the OCaml package manager.
To do so, please visit [the `opam` installation guide]( and follow the instructions.
(Typically, this means you just have to execute the following script:)
......@@ -28,7 +35,7 @@ Now opam is installed on your machine and we can proceed to install the dependen
To do so, please execute the following instructions:
# we enter the semantics folder
# we enter the semantics folder we just cloned
cd semantics-code
# we create a new "switch", where we will install the dependencies
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment