blob: 88faf172fdf00c2dcbe70d33da617727b68d314f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Proof General for the Casl Consistency Checker
Author: Christoph Lüth <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
|