Mowgli Prototype

1. How to contribute and to put your data in Mowgli library ?

•  Proof data from Coq
  
•  Scientific articles (tex source)

2. Browsing in 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