GitHub repository: pi-base/server
Primary language: Haskell
Description: a community database of topological counterexamples