blob: e965a78a5710b1bb070efc52e973f493c1141aa7 (
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
|
<?php
require('functions.php3');
small_header("Engineering Electronic Proof");
?>
<p>
Proof General, and particularly, the <a href="kit">Proof General
Kit</a> is proposed as a vehicle for research into <i>engineering
electronic proof<i>. We want to investigate the
maintenance, combination, and reuse of formal proof developments.
</p>
<h3>Planning</h3>
<p>
This project has not yet been started, and there are no public
documents available yet.
</p>
<p>
Some hints of our plans appear in the papers describing
the <a href="kit">Proof General Kit</a>.
</p>
<p>
Any <a href="mailto:da@dcs.ed.ac.uk">comments</a> are welcomed.
</p>
<?php
click_to_go_back();
footer();
?>
|