Search results

Use https://w3id.org/openmath/ for serving files

Status: Open.

#70 In OpenMath/OpenMath.github.io;

· kenwenzel opened on Jun 30, 2023

Broken links

Status: Open.

#69 In OpenMath/OpenMath.github.io;

· saona-raimundo opened on Jun 28, 2022

Link to https://www.win.tue.nl/~ida dead

Status: Open.

#63 In OpenMath/OpenMath.github.io;

· heiderich opened on Dec 20, 2018

Link to http://www.activemath.org/ is dead

Status: Open.

#62 In OpenMath/OpenMath.github.io;

· heiderich opened on Dec 20, 2018

RDF version of the OpenMath CDs broken when accessed via canonical URIs

Status: Open.

#50 In OpenMath/OpenMath.github.io;

· kohlhase opened on Oct 3, 2017

Write a new OM/MathML alignment document

Status: Open.

#49 In OpenMath/OpenMath.github.io;

· kohlhase opened on Oct 3, 2017

think about James' proposed classification of CDS and use on website

enhancement

question

Status: Open.

#47 In OpenMath/OpenMath.github.io;

· kohlhase opened on Oct 1, 2017

Narrower sidebar

Status: Open.

#42 In OpenMath/OpenMath.github.io;

· lars-hellstrom opened on Sep 7, 2017

Rewrite of "Technical overview" in progress

Status: Open.

#41 In OpenMath/OpenMath.github.io;

· lars-hellstrom opened on Aug 23, 2017

Add the Lurch content dictionary editor to the OM Web site

Status: Open.

#31 In OpenMath/OpenMath.github.io;

· kohlhase opened on Jul 22, 2017

describe STS better

enhancement

Status: Open.

#23 In OpenMath/OpenMath.github.io;

· kohlhase opened on Jun 2, 2017

 ·  

First round of fixes

Separate mailing lists and website hosting

Status: Open.

#20 In OpenMath/OpenMath.github.io;

· tkw1536 opened on Sep 27, 2016