blob: 961e287a48e97161e494a7ac59900999f5e22248 (
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
|
ACL2 Proof General, for ACL2.
Written by David Aspinall.
$Id$
Status: not officially supported yet
Maintainer: volunteer required
ACL2 version: Tested briefly with
ACL2 homepage:
========================================
This is a "technology demonstration" of Proof General for ACL2.
It has basic script management support, with a little bit of
decoration of scripts and output.
There is support for X Symbol, but not using a proper token language.
I have written this in the hope that somebody from the ACL2 community
will adopt it, maintain and improve it, and thus turn it into a proper
instantiation of Proof General.
------------
Notes:
|