Hacker News new | ask | show | jobs
Proofs and Computation with Trees (bor0.wordpress.com)
2 points by bor0 2195 days ago