blob: 3388bee50196b7c974cb41cc40709a7013f95ac1 (
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:eeproof@proofgeneral.org"><tt>eeproof@proofgeneral.org</tt></a>
</p>
<?php
click_to_go_back();
footer();
?>
|