GitHub repository: opensoft/proof-gtest
Primary language: C++
Description: GoogleTest fork with extra stuff for testing Proof