---
layout: page
title: SIGMathLing Development
---

The development of the [SIGMathLing services](/services/) is a community effort. 

Developers include 

* Michael Kohlhase (FAU Erlangen-Nürnberg)
* Deyan Ginev (Authorea)

We will set up a developer's mailing list shortly.