Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants (2004)

by Norbert Völker
Venue:Electronic Notes in Theoretical Computer Science