Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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!
No comment yet
Show HN: Lemma Derivation/Validation Trees | Heykuki News