theorem prover for quantified differential dynamic logic - View it on GitHub