Proof General meets IsaWin — combining textbased and graphical user interfaces (2004)

by David Aspinall , Christoph Lüth
Venue:In International Workshop on User Interfaces for Theorem Provers (UITP’03), volume 104 of Electronic Notes in Theoretical Computer Science
Citations:2 - 0 self