Manual of the DeepSec prover

This repository contains the manual of the deepsec prover. The manual is written in Pandoc markdwon and all html and LaTeX files are generated.

To compile the sources you need to have pandoc, pdflatex and biber installed.