Using KeYmaera X As a Library - LS-Lab/KeYmaeraX-release GitHub Wiki
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
).