File: README

package info (click to toggle)
proofgeneral 4.2~pre120605-2
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 5,060 kB
  • sloc: lisp: 35,277; ml: 2,239; sh: 288; makefile: 250; perl: 159
file content (14 lines) | stat: -rw-r--r-- 498 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
Proof General for the Casl Consistency Checker

Author:	Christoph Lth <cxl@informatik.uni-bremen.de>
       
=================================================================

This is a fairly straightforward instantiation of Proof General for
the Casl Consistency Checker, CCC. 

CASL is the standard algebraic specification language, and CCC is a
tool to check consistency of CASL specifications.

For more information, hasten thee browser yonder:
  http://www.informatik.uni-bremen.de/cofi/ccc