4 ms·Show HN: Lemma Derivation/Validation Trees1 points by BryanHoulton 3y agoSmall side project based on some reading and writing. Heavily based on a reductionist's philosophy. Open for feedback, discussion, or reading list recommendations!