A Self-Verifying Theorem Prover (2009) [pdf]

Comments

from Hacker News https://ift.tt/3f9DaUb
via

Comments

Popular posts from this blog