YXML

Owner: makarius

Category: Library

Quick and easy exchange of ML values via XML/YXML

Quick and easy exchange of ML values via XML/YXML for theorem provers like Isabelle, HOL4, HOL-Light, Coq, or any other symbolic application. This is already integrated into Isabelle/ML (see also https://isabelle.sketis.net/repos/isabelle/file/tip/src/Pure/PIDE/yxml.ML)

Dependencies:

Platform:

Poly/ML version:

Licence: BSD or others

Download link:

Project link: https://isabelle.sketis.net/repos/yxml