Welcome in Metamorpho
Contents
Installation and user manual for Anamorpho
Slides presented at AGP'02
Draft of a paper for the volume of COST action 274
Definition files submittable to Anamorpho
Logical axiom files submittable to Anamorpho
Proper axiom files submittable to Anamorpho
CATALOGO
File names and summary of their contents [
English
]
LEGGIMI
(Only provisionally here!) [Read Me:
English
]
More information:
Eugenio Omodeo
-
Dipartimento di Matematica e Informatica
Università di Trieste
Via Valerio, 12/1
I-34127 Trieste
email:
eomodeo@univ.trieste.it
(last modified on June 1, 2005)