OMDoc
Distribution
Mailing Lists
Project Management
FAQ
Tools/DIY
Examples
XSL Styles
Presentation Architecture
Contributed
OMDoc Wiki
OMDoc
»
resources
» contributed
Contributed Code Under Development
an
Interface
to the
PVS
system.
an
Interface
to the
Coq
theorem prover via the
HELM
XML interface.
an
Interface
for the
Aldor
programming language (only developed for OMDoc 1.1).
© 2006 Copyrights KWARC. | XHTML 1.0 | CSS |
Page generated from XML sources with the WSML package