One topic. Every takeSeek and you shall find

Reading up on Coq

1 deep · digging since sep 10

  • www.johndcook.com favicon
    A 50-year-old computer-assisted proof

    The 1976 computer-assisted proof of the four‑color theorem by Appel and Haken, later formalized in Coq, marks the first major theorem proven with computer help.

read later

For all the tabs you promised to read.
Save to read. Read to clear.

Close tabs. Keep links.