GitHub repository: opensoft/proofseed
Primary language: C++
Description: Seed of Proof