TY  - RPRT
TI  - Implicit Definitions with Differential Equations for KeYmaera X (System Description)
AU  - James Gallicchio
AU  - Yong Kiam Tan
AU  - Stefan Mitsch
AU  - André Platzer
PY  - 2022
DO  - 10.1007/978-3-031-10769-6_42
UR  - https://arxiv.org/abs/2203.01272
ID  - 2203.01272
ER  -