---
title: "Proof General / Eclipse: A Generic Interface for Interactive Proof"
authors:
  - "Daniel Winterstein"
  - "David Aspinall"
  - "Christoph Lüth"
doi: ""
url: "https://ijcai.org/proceedings/2005/342"
pdf: "https://ijcai.org/proceedings/2005/0342.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "1587-1587"
track: ""
keywords:
---

# Proof General / Eclipse: A Generic Interface for Interactive Proof

Daniel Winterstein, David Aspinall, Christoph Lüth

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 1587-1587.

## Abstract