OMDoc.org: Projects

Projects hosted on http://omdoc.org

  • JOMDoc (a Java-based OMDoc library)

Projects that that endorse OMDoc (see also the systems below)

Systems that speak OMDoc (varying degrees of fluency)

  • LambdaClam (an inductive theorem prover)
  • INKA (another inductive theorem prover)
  • TPS (a higher-order theorem prover)
  • OMEGA (a mathematical assistant)
  • PVS (a specification and verification system)
  • VeriFun (a verifier for functional programs)
© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package