Posts tagged coq

There are 1 posts tagged with coq.

If you are interested in "coq" why not subscribe to the Atom feed or RSS feed?

Second Annual FP-Syd Coq Fight

Last night was the second annual FP-Syd Coq Fight, the only competitive theorem proving event in the world! Here are some notes and a recording of the final round live stream.