| Subject | From | # of followups |
|---|---|---|
| [mizar] Fwd: CFP Synasc 2014 (FIRM extended deadline) | Josef Urban | 0 |
| [mizar] QED+20: Call for participation | Josef Urban | 0 |
| [mizar] Tom Hales on Formal proof at the Bourbaki seminar | Josef Urban | 0 |
| [mizar] ATP and presentation service for Mizar updated to MML 5.23.1213 | Josef Urban | 0 |