A proposal consists of a presentation of the tool
addressing the following questions:
- is the tool conform to the interchange format?
- which are the relevant annotations?
- how to use it?
- how to install it?
To be proposed a tool must either accept (a subset of) the CASL syntax,
or accept the interchange format of A-terms and respect the approved
set of annotations. A proposed tool will be announced on these pages
with the label