The CoFI-Tools Group Home Page
   
  CoFI Tools
   
Aims and scope
Members
CASL Tool Set
- Heterogeneous Tool Set
Related tools
  Rewrite engines
  Provers
Papers
How to join
E-mail

PROVERS

Isabelle

SPASS

CASLtoPVS

Casl Consistency Checker

INKA


Back to CoFI-TOOLS Home Page