blob: 4612071e1d23f8984cc880d0e572a776a215aca1 (
plain)
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
|
<?php
require('functions.php3');
small_header("Proof General Kit");
?>
<p>
The Proof General Kit project is in an early pre-experimental stage at
the moment. If you are interested in collaborating, or have ideas
or suggestions to contribute, please send a note to
<a href="mailto:kit@proofgeneral.org"><tt>kit@proofgeneral.org</tt></a>
</p>
<h3>Planning</h3>
<p>
Ideas for the future of Proof General are described in these papers:
</p>
<ul>
<li><a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
<b><i>Protocols for Interactive e-Proof</i></b>.
Draft version, see
<a href="http://zermelo.dcs.ed.ac.uk/~da/drafts/#eproof">here</a>.
</li>
<li><a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
<b><i>Proof General Kit (white paper)</i></b>.
Draft version, see
<a href="http://zermelo.dcs.ed.ac.uk/home/da/drafts/#white">here</a>.
</li>
</ul>
<h3>Development</h3>
<p>
Not much has been started yet.
<br>
But you can download the DTDs for PGIP and PGML, here:
</p>
<ul>
<li><?php download_link("Kit/dtd/pgip.dtd") ?>
</li>
<li><?php download_link("Kit/dtd/pgml.dtd") ?>
</li>
</ul>
<p>
Comments and contributions welcomed!
</p>
<?php
click_to_go_back();
footer();
?>
|