pi-base

pi-base

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
140 Stars
58 Forks
140 Watchers

Repositories (2)

data pi-base/data

A community database of topological counterexamples

134
viewer pi-base/viewer TypeScript

Web UI for the π-Base

6