Template for the proof assistant project of CSC_51051_EP

This is a template for the proof assistant project of CSC_51051_EP, which you can clone in order to get started. It contains the folders

1. simple: the proof assistant for propositional logic (parts 1 to 4 of the project),
2. dependent: the proof assistant with dependent types (part 5),
3. report: a template for writing the report in markdown.

In order to build the project you can either type

make

or

dune build