This repository has been archived by the owner on Dec 6, 2024. It is now read-only.
Diagram viewer #89
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
I'm giving a semi-plenary Zoom talk in May (postponed from last spring). To show off the pi-Base (and help illustrate my talk), I'd like to have a way to choose a set of properties and display either an implication diagram and/or an inclusion diagram, such as those shown in the early chapters of Counterexamples.
The text was updated successfully, but these errors were encountered: