blob: 445fead76419d42df1ca1954a5b274e979b96a84 (
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
|
<?php
require('functions.php3');
small_header("Engineering Electronic Proof");
?>
<p>
The <b>Engineering Electronic Proof</b> project is
a proposed continuation of the Proof General project,
using Proof General as a vehicle to study and build
new mechanisms for managing the development of
electronic proof.
</p>
<h3>Details</h3>
<p>
More details will be posted here in due course.
</p>
<p>
In the meantime, there is some related
information on the <a href="kit">Proof General Kit</a>
page about the next stages of development for Proof General.
</p>
<p>
<h3>Collaborations</h3>
Collaborations on this work are being sought. If you are interested in collaborating, or have ideas or suggestions to contribute, please send a note to
<a href="mailto:da+pg-eeproof@inf.ed.ac.uk"><tt>da+pg-eeproof@inf.ed.ac.uk</tt></a>
</p>
<?php
click_to_go_back();
footer();
?>
|
