#

keymaerax

Here are 2 public repositories matching this topic...

nrfulton / kyxAsLibraryExample

How to use KeYmaera X as a library in a Scala code base.

theorem-proving hybrid-systems tutorial-code keymaerax cyber-physical-systems

Updated Mar 24, 2018
Scala

nrfulton / SpaceEx2KeYmaeraX

Very limited SpaceEx -> KeYmaera X converter

benchmarks keymaerax cyber-physical-systems spaceex

Updated Apr 5, 2018
Scala

Improve this page

Add a description, image, and links to the keymaerax topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the keymaerax topic, visit your repo's landing page and select "manage topics."