Conditional Theorem Proving - View it on GitHub