Hacker News new | ask | show | jobs
Show HN: Lemma Derivation/Validation Trees (github.com)
1 points by BryanHoulton 903 days 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!