Proof General/Eclipse: A Generic Interface for Interactive Proof

David Aspinall, Christoph Lüth, Daniel Winterstein

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 19th International Joint Conference on Artificial Intelligence
Place of PublicationSan Francisco, CA, USA
PublisherMorgan Kaufmann Publishers Inc.
Number of pages2
Publication statusPublished - 2005

Publication series

PublisherMorgan Kaufmann Publishers Inc.

Cite this