1. 2
    What is a Proof? ☶ compsci math samidavies.wordpress.com
    mwillsey avatar via mwillsey 2 years ago | cached | no comments

I added the compsci tag because automated theorem proving is discussed.

  1.