| CoFI Tools | |
|
Aims and scope |
|
|
Members |
|
CASL Tool Set |
|
Heterogeneous Tool Set |
|
Related tools |
| Rewrite engines | |
| Provers | |
|
|
Papers |
|
|
How to join |
 |
PROVERS
Isabelle
SPASS
CASLtoPVS
Casl Consistency Checker
INKA
