Posts tagged competition


There are 1 posts tagged with competition.

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