Hacker News new | ask | show | jobs
by zitterbewegung 16 days ago
With Aristotle you could formalize a proof from only the text of a paper.