blob: e6dded4453eb148f5a2908d464f68004b4c7f53d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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
|