1. 6
    Meet the Robinson ☶ compsci math hardmath123.github.io
    evhan avatar via evhan 1 year ago | cached | no comments

A casual, ground-up introduction to automated theorem proving.

Parts two, three, and four.

  1.