GitHub repository: olgeet/mrs2
Description: a C++ class library for statistical set processing and computer-aided proofs in statistics.