top of page
Search
Centaur Theorem Provers - 3 part series
PAST: The story of machine proofs Part-1 PRESENT: The story of machine proofs Part-2 (also published in hackernoon) FUTURE: The story of...
Sharad
Jan 16, 20211 min read
Why NOT?
Title Justified I will admit that the title Neighborhood of Truth does have a ring of audacity and ambition to it, kind of like Dennett’s...
Sharad
Mar 31, 201812 min read
bottom of page