While we have the project Free rte, there has since been released
the CandC rte system.
I am however having trouble getting this to
It runs but the theorem prover does not return.
trying to get ahold of the correct version of the vampire theorem