ub-net Uwe Bubeck
English
German
Here you can find additional resources that will help you get the most out of the ProverBox:
Documentation
Example Specifications