“KWARC was!”

See MathUI paper. Annotea-Extension for Proof Documents.

This entry was posted on Monday, July 28th, 2008 at 3:54 pm and is filed under Conferences, related work. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.