C.,Web interfaces for proof assistants (0)

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