GitHub - keymaerad/KeYmaeraD: theorem prover for quantified differential dynamic logic

keymaerad / KeYmaeraD Public

Notifications You must be signed in to change notification settings
Fork 2
Star 10

theorem prover for quantified differential dynamic logic

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 707 Commits
GUI		GUI
Simulation		Simulation
commons-cli-1.2		commons-cli-1.2
doc		doc
examples		examples
icons		icons
tests		tests
.gitignore		.gitignore
COPYING		COPYING
DLprover.scala		DLprover.scala
Makefile		Makefile
README		README
arithmetic.scala		arithmetic.scala
frontactor.scala		frontactor.scala
frontend.scala		frontend.scala
init.scala		init.scala
jobs.scala		jobs.scala
keymaeradlogo.png		keymaeradlogo.png
keyparse.scala		keyparse.scala
logicutil.scala		logicutil.scala
mathematicautil.scala		mathematicautil.scala
newtactics.scala		newtactics.scala
nodes.scala		nodes.scala
parse.scala		parse.scala
printing.scala		printing.scala
procedures.scala		procedures.scala
rational.scala		rational.scala
rules.scala		rules.scala
run		run
runprover		runprover
runworker		runworker
specialoptions.py		specialoptions.py
tactics.scala		tactics.scala
types.scala		types.scala

Repository files navigation

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

For license information, see COPYING.

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