[Om] OpenMath Organization at github

James Davenport J.H.Davenport at bath.ac.uk
Thu Jun 30 19:41:20 CEST 2016

Certainly a good idea. Do you want to do a lot now, or sort the details of a migration out in Bialystok?

James Davenport
National Teaching Fellow 2014
Hebron & Medlock Professor of Information Technology, University of Bath
OpenMath Content Dictionary Editor
Director of Studies EPSRC Doctoral Taught Course Centre for HPC
Chair, IMU Committee on Electronic Information and Communication
Vice-President and Academy Trustee, British Computer Society

From: om-bounces at openmath.org <om-bounces at openmath.org> on behalf of Michael Kohlhase <m.kohlhase at jacobs-university.de>
Sent: Thursday, June 30, 2016 4:54 PM
To: om at openmath.org
Subject: [Om] OpenMath Organization at github

Dear OpenMathers,

I created an OpenMath organization on github. The proximate cause is that some member of the
OpenDreamKit project are creating an OpenMath Phrasebook for phython and we wanted to have
a good home for that.

I think we should eventually move the OpenMath assets to github and the OpenMath web pages to
GH-pages. That would make things much more manageable.


BTW, with the OpenDreamKit Project OpenMath is getting much more into the focus of
development (see [1])

[1] http://opendreamkit.org/activities/

 Prof. Dr. Michael Kohlhase,        Office: Research 1, Room 168
 Professor of Computer Science  Campus Ring 1,
 Jacobs University Bremen           D-28759 Bremen, Germany
 tel/fax: +49 421 200-3140/-493140  skype: mibein42
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase

More information about the Om mailing list