Show HN: Lemma Derivation/Validation Treesgithub.com1 point·BryanHoulton··0 commentsSmall side project based on some reading and writing. Heavily based on a reductionist's philosophy. Open for feedback, discussion, or reading list recommendations!Open articleSaveView on HN