Interactive Theorem Proving: Second International ...
Preview
Second International Conference, ITP 2011, Berg en Dal, The Netherlands,
August 22-25, 2011, Proceedings Marko Van Eekelen, Herman Geuvers, Julien
Schmaltz, Freek Wiedijk. Finally, we would like to thank our sponsors: TheĀ ...