| Subject | From | # of followups |
|---|---|---|
| [mizar] [ITP 2016] Circulating the call to vote on bids for ITP 2017 (fwd) | Adam Naumowicz | 0 |
| [mizar] Formalization of the Lebesgue measure in Mizar | Amir Livne Bar-on | 2 |
| Re: [mizar] Formalization of the Lebesgue measure in Mizar | adamn | 1 |
| Re: [mizar] Formalization of the Lebesgue measure in Mizar | Amir Livne Bar-on | 0 |
| Re: [mizar] Formalization of the Lebesgue measure in Mizar | Adam Naumowicz | 0 |