Proformica lebasi Borowiec & Salata, 2022: 260, figs. 131.1-8 (s.w.) GREECE. Palearctic.

Primary type information: Primary type material: holotype minor worker. Primary type locality: Greece: The., Larissa, Olympus, Vrisopoules loc. 1, 40.03372/22.31675, 1550 m, 15.v.2019 (L. Borowiec). Primary type depository: MNHW. Primary type specimen: LBC-GR02888. Secondary type information: Secondary type material: 8 paratype minor workers, 2 paratype major workers. Secondary type localities: 5 paratype minor workers with same data as holotype; 2 paratype minor workers Greece: Thess., Mt. Olympus, 2.8 km W of EOCHO ski center, 40.0255 N / 22.30421 E, 1340 m, 9.v.2017 (L. Borowiec); 1 paratype minor worker, 2 paratype major workers Greece: Thessaly, Mt. Olympus, 1 km N of Kryovrysi, 32.989N / 22.326E, 979 m, 7.v.2017 (C. Lebas). Secondary type depositories: MHNG, MNHW. Secondary type specimen: LBC-GR02380, LBC-GR02774.