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.

Posted by Thomas Sutton on June 24, 2015. Tagged with: events, fp-syd, coq, theorem proving, competition, video.