Add mathlib as reference

pi-base / viewer

Web UI for the π-Base

https://topology.pi-base.org

MIT License

9 stars 3 forks source link

Open StevenClontz opened 2 years ago

StevenClontz commented 2 years ago

Per Jim Fowler's suggestion, we could link results that have been formalized in mathlib.