| Subject | From | # of followups |
|---|---|---|
| [mizar] 40 years of Mizar | Adam Naumowicz | 1 |
| Re: [mizar] 40 years of Mizar | Josef Urban | 0 |
| [mizar] "Semantics of Proofs and Certified Mathematics", IHP trimester (second call for starting school and workshop registration) | Hugo Herbelin | 0 |
| [mizar] Fwd: First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014) | Josef Urban | 0 |
| [no subject] | ahchavez | 0 |