This repository has been archived by the owner on Dec 6, 2024. It is now read-only.

Theorem exploration #14

Open

jamesdabbs opened this issue Mar 2, 2017 · 1 comment

Labels

Member

jamesdabbs commented Mar 2, 2017 •

edited

Loading

We can improve the page for displaying deduced theorems and add

a visualization
an option to start with the proximal deduction and expand back as desired

Member

StevenClontz commented Mar 4, 2017

One day I'd love pi-base to have visualizations of implication trees. See https://en.wikipedia.org/wiki/Selection_principle#/media/File:ScheepersDiagram.jpg for example.

jamesdabbs added the wishlist label

jamesdabbs added enhancement and removed wishlist labels

jamesdabbs changed the title ~~Display theorems in more generality~~ Theorem exploration

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.