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

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

Developers include 

* [Michael Kohlhase](http://kwarc.info/kohlhase) (FAU Erlangen-Nürnberg)
* [Deyan Ginev](http://kwarc.info/people/dginev) (Authorea)

We will use the [general SIGMathLing mailing list](/follow/) for development discussions
as well.