1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
Current Authors/Maintainers:
Pierre Courtieu (Coq, lib)
Erik Martin-Dorel (Coq, Web site)
Clément Pit-Claudel (Coq, packaging)
Stefan Monnier (Coq)
Dominique Unruh (qrhl-tool)
Christophe Raffalli (PhoX)
Pierre-Yves Strub (EasyCrypt)
Hendrik Tews (Proof Tree)
Previous Authors:
David Aspinall (all)
Makarius Wenzel (Isar, generic)
Stefan Berghofer (Isar)
Paul Callaghan (Plastic, Lego)
Healfdene Goguen (Coq, generic, doc)
Thomas Kleymann (Lego, doc, generic)
Patrick Loiseleur (Coq)
Yves Bertot (generic)
David von Oheimb (X-Symbol)
Dilip Sequeira (Lego, generic)
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.
====================================================================
Notes regarding the License change to GPLv3+:
Contributors who are positively known to be OK with relicensing:
Stefan Monnier
Clément Pit-Claudel
Paul Steckler
Erik Martin-Dorel
Pierre Courtieu
Jim Fehrle
stardiviner <numbchild@gmail.com>
Pierre-Yves Strub
Hendrik Tews
David Aspinall
Cyril Anaclet
Christophe Raffalli
Makarius Wenzel
## New provers compared to PG-async: phox easycrypt pghaskell pgocaml pgshell
Git history:
git log -- phox easycrypt pghaskell pgocaml pgshell |
grep 'Author:' | sort -u
shows that these have only received contributions from people in the
above list.
|
