search

pi-base / viewer

Web UI for the π-Base
https://topology.pi-base.org
MIT License
9 stars 3 forks source link

Implement initial theorem pages #76

Closed jamesdabbs closed 3 years ago

jamesdabbs commented 3 years ago

This adds a List and Show page for theorems, along with supporting improvements to formula rendering. We'll add more detail (related objects / references) to the existing Show pages in a followup PR.