Mowgli Prototype

How to contribute to the MoWGLI library

We distinguish two kind of data in Mowgli library :

Browsing the MoWGLI Library

Once you have put your data in MoWGLI Library, you can consult your data on the web and browse throught it. MoWGLI library gives different views of your proof data :

Proof content : lambda term, inner types which gives an information of type, annotations and proof tree (in XML and OMDOC format with MathML content)
Proof explanation in natural language (presented in HTML or XHTML+MathML)

Some examples of scientific articles (in tex source) converted to XML/MathML content and XHTML/MathML

Managing the content of the MoWGLI Library

It is possible to update or remove contributions from the MoWGLI library. This page explains you how.