---
layout: page
title: Authors
subtitle:
---

Current Authors/Maintainers:

- David Aspinall (all)
- Pierre Courtieu (coq)
- Clément Pit-Claudel (coq)
- Christoph Raffalli (phox)
- Makarius Wenzel (isar)

Previous Authors:

- Stefan Berghofer (isar)
- Paul Callaghan (plastic,lego)
- Healfdene Goguen (coq, generic, doc)
- Thomas Kleymann (lego, doc, generic)
- Patrick Loiseleur (coq)
- David von Oheimb (x-symbol)
- Dilip Sequeira (lego)
- Graham Dutton (web support)

These are the main "official" authors of Proof General, but many more
people have contributed, some very significantly. We're grateful to
everyone who has! Please see the CREDITS section in the manual for a
more complete list.

---

Click [here](/) to go back to the front page.

---
layout: page
title: Authors
subtitle:
---

Current Authors/Maintainers:

- David Aspinall (all)
- Pierre Courtieu (coq)
- Erik Martin-Dorel (coq, website)
- Clément Pit-Claudel (coq)
- Christoph Raffalli (phox)
- Makarius Wenzel (isar)

Previous Authors:

- Stefan Berghofer (isar)
- Paul Callaghan (plastic,lego)
- Healfdene Goguen (coq, generic, doc)
- Thomas Kleymann (lego, doc, generic)
- Patrick Loiseleur (coq)
- David von Oheimb (x-symbol)
- Dilip Sequeira (lego)
- Graham Dutton (web support)

These are the main "official" authors of Proof General, but many more
people have contributed, some very significantly. We're grateful to
everyone who has! Please see the CREDITS section in the manual for a
more complete list.

---

Click [here](/) to go back to the front page.

Add myself to list of maintainers.
Add myself to list of maintainers.
