aboutsummaryrefslogtreecommitdiffhomepage
path: root/html/eproofe.php
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();
?>