Something went wrong on our end
-
Johannes Kanig authored
For the moment, new API functions are introduced. If existing API functions are called, the why3server is not used.
Johannes Kanig authoredFor the moment, new API functions are introduced. If existing API functions are called, the why3server is not used.