Show HN: Lemma Derivation/Validation Trees

[BryanHoulton]

Small side project based on some reading and writing. Heavily based on a reductionist's philosophy. Open for feedback, discussion, or reading list recommendations!