Posts tagged video


There are 1 posts tagged with video.

If you are interested in "video" 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.