The JSON-RPC interface for the KeY theorem prover
- Support of https://spec.open-rpc.org/
- Github Pages for current API documentation
- Generation of Python Client
- E2E tests with clients and examples
KeYProject/key-rpc
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|