A cyclic theorem prover framework.