interfaces for proof assistants (0)

by C Kaliszyk, Web
Venue:Proceedings of the FLoC Workshop on User Interfaces for Theorem Provers (UITP’06), Seattle, Electronic Notes in Theoretical Computer Science 174[2], 2007