pi-base

pi-base

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
139 Stars
58 Forks
139 Watchers

Repositories (2)

data pi-base/data

A community database of topological counterexamples

133
viewer pi-base/viewer TypeScript

Web UI for the π-Base

6