| Subject | From | # of followups |
|---|---|---|
| [mizar] Compositions of regular matroids, Lean and Mizar | martin.dvorak | 1 |
| Re: [mizar] Compositions of regular matroids, Lean and Mizar | Alex Nelson | 0 |
| [mizar] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize | Manuel Alejandro Borroto S | 0 |