Hacker News new | ask | show | jobs
by mjgoins 6328 days ago
Funny you mention it, because when I hear "obsession with formal proofs" I immediately think of Anselm and Plantinga.