| Subject | From | # of followups |
|---|---|---|
| [mizar] Formalization of Lie theory | Sebastian Koch | 0 |
| [mizar] Multiple PhD Positions at the University of Melbourne | Cezary Kaliszyk | 0 |
| [mizar] [ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 | Manuel Alejandro Borroto S | 0 |