Home

Coq Workshop 2010

Submitted by herbelin on 27 May 2010 23:18 GMT

The Coq Workshop 2010 will be held on July 9 at Edinburgh. The program is out.