development.md

layout: page
title: SIGMathLing - Development

The development of the {{site.title}} services is a community effort.

Developers include

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

We will use the general {{site.title}} mailing list for development discussions as well.