[isabelle] Isabelle



Hello isabelle users,
I just want to ask if I can use a Mathml file as an input format for isabelle. I have written some mathematical proofs in Mathml, and I would like to check it  within isabelle. Is it possible?

Kind regards.

Edmond

 __________________________________________________
Do You Yahoo!?
En finir avec le spam? Yahoo! Mail vous offre la meilleure protection possible contre les messages non sollicités 
http://mail.yahoo.fr Yahoo! Mail 




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.