GitHub repository: opensoft/proofbase
Primary language: C++
Description: Base of Proof