GitHub repository: vishalbelsare/ctp
Primary language: Python
Description: Conditional Theorem Proving