Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Temporal circuit of brain activity supports human consciousness. Parent comment
"This is a thought, therefore thoughts exist" is the valid, non-circular version.
What are the axioms? What is the conclusion?
https://isabelle.in.tum.de
There are no comments on this comment yet.
What are the axioms? What is the conclusion?
https://isabelle.in.tum.de