Thoughts on requirements and design issues of user interfaces for proof assistants

by Norbert Völker
Venue:Electronic Notes in Theoretical Computer Science
Citations:2 - 0 self