Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. Proof General: A generic tool for proof development;Aspinall,2000
2. Aspinall, D., C. Lüth and A. Fayyaz, Proof General in Eclipse: System and architecture overview, in: Eclipse Technology Exchange Workshop at OOPSLA 2006, 2006.
3. Aspinall, D., C. Lüth and D. Winterstein, A framework for interactive proof, in: Calculemus ʼ07 / MKM ʼ07: Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants (2007), pp. 161–175.
4. Assisted proof document authoring;Aspinall,2005