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)

• ActiveMath (Math Learning on the Web)
• Course Capsules (Content based course delivery at Carnegie Mellon)
• OMEGA (a mathematical assistant)

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)