| Protonym | Taxon | Authorship | Rank | Status | |
|---|---|---|---|---|---|
| Proformica longipilosa | Proformica longipilosa | Galkowski et al., 2017 | Species | Valid | Original combination |
| Proformica phoenica | Proformica phoenica | Galkowski et al., 2017 | Species | Unavailable | Original combination |
| Proformica pilinotum | Proformica pilinotum | Galkowski et al., 2017 | Species | Unavailable | Original combination |
| Proformica cerdanyensis | Proformica cerdanyensis | Galkowski et al., 2022 | Species | Valid | Original combination |
| Proformica borowieci | Proformica borowieci | Lebas et al., 2023 | Species | Valid | Original combination |
| Published between | 1972–2023 |
|---|---|
| Taxon descriptions between | 2017–2023 |
| No. of references | 20 |
| No. of described taxa (including combinations) | 5 |
| No. of described taxa (valid, including combinations) | 3 |
| No. of described taxa (protonyms only) | 5 |
| Author name | No. of references | |
|---|---|---|
| Lenoir, A. | 20 |