Hacker News new | ask | show | jobs
Theorem_ledger.md (github.com)
1 points by taylorbuley 90 days ago