Hacker News new | ask | show | jobs
Simplicity of the Gentzen System (wyounas.github.io)
2 points by simplegeek 511 days ago