Skip to content


  • Arctic Code Vault Contributor




  1. The MMT Language and System

    Scala 42 11

  2. My lecture notes and other course materials

    TeX 23 29

  3. Designing a proof representation/interchange format as inspired by the Dagstuhl seminar on Universality of Proofs (2016)

    TeX 4

  4. Main repository for sharing files and documents about OpenDreamKit

    TeX 75 36

  5. Main website for MMT and related material

    CSS 2 9

  6. Sources for OpenDreamKit's website

    HTML 10 39

247 contributions in the last year

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

Contribution activity

August 2020

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

You can’t perform that action at this time.