Proving with EProver¶
Install EProver according to “it’s documentation”:https://github.com/eprover/eprover and set the following environment variables:
- EPROVER: Path to your EProver binary
Now you can run gavel with the following command:
eprover <problem_path>