3 ms·
https://Topology.pi-base.org https://Topology.pi-base.org (a database of certain mathematical objects) started as a wiki, but transitioned to using GitHub pull
by StevenXC 3y ago
https://Topology.pi-base.org https://Topology.pi-base.org (a database of certain mathematical objects) started as a wiki, but transitioned to using GitHub pull requests and custom software to support automated deduction.
Folks interested in open collaborative math content may find these interesting:
- https://code4math.org/ https://code4math.org/
- https://mathbases.org/ https://mathbases.org/