Skip to content

Using KeYmaera X As a Library

Jump to bottom Edit New page
Nathan Fulton edited this page Mar 24, 2018 · 2 revisions

KeYmaera X is implemented in Scala. You can use KeYmaera X as a Scala library in your project by using the Scala Build Tool.

See Nathan's example project for instructions (in the README.md file) boilerplate code (in Example.scala).

The KeYmaera X Theorem Prover for Hybrid Systems

Add a custom sidebar
Clone this wiki locally