development.md

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

The development of the [{{site.title}} 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 {{site.title}} mailing list](/follow/) for development discussions
as well.