Woodcut by Jiri Daschitzsky, Von einem Schrecklichen und Wunderbahrlichen Cometen so sich den Dienstag nach Martini M.  D. Lxxvij. Jahrs am Himmel erzeiget hat (Prague (?): Petrus Codicillus a Tulechova, 1577)

CoMeta - Computational Metamodels

Home Meetings Documents and Reports Publications
Tasks Mailing list Related Projects Tools

CoMeta Tools

Feedback

One of the evaluation criteria on this Project is about the applicability and usability of these tools. Therefore, users of these tools are encouraged to file in an assessment report on how and at what extent these tools have been used and are useful.

Please fill in and send the following feedback form:

Tools considered:
Mobile Ambients and related Modal Logic in Coq
M3 and related typing system in Coq
the impσ-calculus in Coq
coinductive reals in Coq
ordered families of equivalences in Coq
The HAL tool

Your comments:

Your name:

the form by email (this will pop up your default mail client; make sure you have one defined.)
the form and start over


Last modified: Thu Feb 6 19:03:45 CET 2003