diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/eeproof.php | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/html/eeproof.php b/html/eeproof.php new file mode 100644 index 00000000..3388bee5 --- /dev/null +++ b/html/eeproof.php @@ -0,0 +1,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(); +?> |