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
|
To: coq-club@pauillac.inria.fr,
isabelle-users@cl.cam.ac.uk,
lego-club@dcs.ed.ac.uk,
-- uitp@dcs.gla.ac.uk, No replacement yet, we should have one!
types-wg@durham.ac.uk,
info-hol@leopard.cs.byu.edu,
pvs@csl.sri.com,
qed@mcs.anl.gov,
theorem-provers@ai.mit.edu,
types@cis.upenn.edu,
formal-methods@cs.uidaho.edu,
reliable_computing@interval.usl.edu,
prog-lang@diku.dk
Also newsgroups:
comp.lang.ml
comp.lang.functional
gnu.emacs.sources
comp.emacs.xemacs
comp.os.linux.announce
freshmeat.net
tag for comp.lang.ml, comp.lang.functional:
[Posted here because ML and functional languages generally are
traditional for implementing interactive theorem provers.
Implementors of such systems may be interested in Proof General.
Apologies for multiple copies]
|