{"type":"ScholarlyArticle","title":"Proof General / Eclipse: A Generic Interface for Interactive Proof","authors":[{"name":"Daniel Winterstein","slug":"daniel-winterstein","given":"Daniel","family":"Winterstein","affiliation":""},{"name":"David Aspinall","slug":"david-aspinall","given":"David","family":"Aspinall","affiliation":""},{"name":"Christoph Lüth","slug":"christoph-luth","given":"Christoph","family":"Lüth","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/2005/342","pdf":"https://ijcai.org/proceedings/2005/0342.pdf","markdown":"https://ijcai.org/proceedings/2005/342.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/342","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":342,"pages":{"first":1587,"last":1587},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}