Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Proof General: A generic tool for proof development;Aspinall,2000
2. David Aspinall and Christoph Lüth. ProofGeneral meets IsaWin. In User Interfaces for Theorem Provers (UITP '03), Electronic Notes in Theoretical Computer Science. Elsevier Science, 2003. (to appear)
3. David Aspinall, Christoph Lüth, and Ahsan Fayyaz. Proof General in Eclipse: System and architecture overview. In Eclipse Technology Exchange Workshop at OOPSLA 2006, 2006
4. David Aspinall, Christoph Lüth, and Daniel Winterstein. Parsing, editing, proving: the PGIP display protocol. In International Workshop on User Interfaces for Theorem Provers 2005 (UITP'05), 2005
5. Assisted proof document authoring;Aspinall,2005