| Subject | From | # of followups |
|---|---|---|
| [mizar] AITP 2023 - Call for Contributions | Josef Urban | 0 |
| [mizar] Raspberry PI - Mizar | Roland Coghetto | 1 |
| Re: [mizar] Raspberry PI - Mizar | Alex Nelson | 0 |
| [mizar] Proof Assistants for Teaching | Artur Kornilowicz | 0 |
| [mizar] Call for Bids to Host ITP 2024 | Adam Naumowicz | 0 |
| [mizar] Lectureships at Lancaster University (Leipzig campus), Deadline 30 March | Marco Caminati | 0 |
| [mizar] ITP 2023: Call for Workshop and Tutorial Proposals | Adam Naumowicz | 0 |
| [mizar] TABLEAUX 2023 - FIRST CALL FOR PAPERS | Josef Urban | 0 |