Block or report user

Report or block kohlhase

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@sagemath @KWARC @OpenDreamKit @MathML @theoremprover-museum @UniFormal @OMDoc @OpenMath @ICMS-conference

Popular repositories

  1. LaTeXML

    Forked from brucemiller/LaTeXML

    LaTeXML is a TeX and LaTeX to XML translator.

    Perl 1

  2. CorTeX

    Forked from dginev/deprecated-CorTeX

    A general purpose processing framework for corpora of TeX documents


  3. sTeX

    Forked from KWARC/sTeX

    A semantic Extension of TeX/LaTeX


  4. website

    Forked from MathML/website

    Website for MathML


  5. OMSTD

    Forked from OpenMath/OMSTD

    The OpenMath Standard (starting with OpenMath 2)


  6. CDs

    Forked from OpenMath/CDs

    The OpenMath Content Dictionaries


1,158 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2018

Created an issue in UniFormal/MMT that received 11 comments

automate JEdit plugin update

When we make a new MMT release, then we have to update the MMT plugin for JEdit (a somewhat un-necessarily tedious process) that is easily forgotte…


Seeing something unexpected? Take a look at the GitHub profile guide.