Installation

Here is 2 way to install needed lib for using Ursus.

1. Manual way with installing Coq, each Pruvendo libs and 3rd parties via opam [1].
2. Docker way, which consist using docker image with already installed Coq, Pruvendo libs and so on.