Merge pull request #127 from christian-krieg/feat/update-docs_super-prove
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 13 Sep 2021 14:21:18 +0000 (16:21 +0200)
committerGitHub <noreply@github.com>
Mon, 13 Sep 2021 14:21:18 +0000 (16:21 +0200)
commit15278f13467bea24a7300e23ebc5555b9261facf
tree57de1ccb89b27ec7c3444cff87295addfe8ffc1c
parent863a53b312d3e155526cc747c7b0386c179c9f54
parent21371fb7acfffcc1f4100ad59aa9d925d4c03f5b
Merge pull request #127 from christian-krieg/feat/update-docs_super-prove

Updated install instructions for super_prove