← Back to context

Comment by zitterbewegung

2 months ago

With Aristotle you could formalize a proof from only the text of a paper.

0 comments

zitterbewegung

Reply

No comments yet

Contribute on Hacker News ↗