| layout | title |
|---|---|
default |
OMDoc Community |
- Michael Kohlhase (coordinator, Jacobs Univ.)
- Paul Libbrecht (Saarland Univ.)
- Andreas Franke (Saarland Univ.)
- George Goguadze (Saarland Univ.)
- Olga Caprotti (Helsinki Univ)
- Alberto Gonzalez Palomo (Toledo)
- Christoph Lange (Jacobs Univ.)
- Florian Rabe (Jacobs Univ.)