keymaerad/KeYmaeraD

theorem prover for quantified differential dynamic logic

For installation notes and help getting started, see doc/tutorial.md.

For license information, see COPYING.

Original author: David Renshaw, dwrensha@cs.cmu.edu