Show HN: Lemma Derivation/Validation Trees

github.com/bryanhoulton

1 point

BryanHoulton

2 years ago

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