| Subject | From | # of followups |
|---|---|---|
| [mizar] Size of Mizar/MML | Fabian Huch | 2 |
| Re: [mizar] Size of Mizar/MML | Alex Nelson | 1 |
| Re: [mizar] Size of Mizar/MML | Fabian Huch | 1 |
| Re: [mizar] Size of Mizar/MML | Artur Kornilowicz | 1 |
| Re: [mizar] Size of Mizar/MML | Adam Naumowicz | 0 |
| Re: [mizar] Size of Mizar/MML | Fabian Huch | 0 |
| [mizar] [ICLP 2025 - Call for Student Grants] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025 | Manuel Alejandro Borroto S | 0 |
| [mizar] [ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025 | Manuel Alejandro Borroto S | 0 |
| [mizar] ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE | Manuel Alejandro Borroto S | 0 |