1. 11
    Gerard Huet Reflects On The History Of Theorem Provers ☶ compsci formalmethods lisp math ml 50ans.inria.fr
    seako avatar via seako 9 months ago | cached | no comments

This article is full of interesting details about the development of Coq and its predecessors.

  1.