« Chuck Liang visits for a month
Abella online tutorial »
The following papers authored by members of Parsifal were accepted to the fourth workshop on Proof eXchange for Theorem Proving:
This post has no tag
© 2012 INRIA
Powered by WordPress and the Graphene Theme.