Coq Workshop 2011
Submitted by herbelin on 25. April 2011 - 17:53.
The Coq Workshop 201! will be held on August 26 at Nijmegen, as part of ITP 2011.
The Coq Workshop 201! will be held on August 26 at Nijmegen, as part of ITP 2011.