GitHub repository: GeniusVentures/ProofSystem
Primary language: C++
Description: Proof System for GNUS.AI and SuperGenius