--- 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.