證空寺，位于山西代縣峨口鎮(zhèn)下高陵村北。創(chuàng)建年代不詳。據(jù)大殿題記載，明弘治十六年(1503)重修，清乾隆三十一年(1766)、嘉慶七年(1802)修葺。

坐北向南，占地面積1142平方米。一進(jìn)院落布局，中軸線上建有過(guò)殿、大雄寶殿，兩側(cè)為東西配殿?，F(xiàn)存過(guò)殿和大雄寶殿為明代遺構(gòu)，余皆為清代建筑。大雄寶殿石砌臺(tái)基，基寬12.6米、深11.85米、高0.1米。面寬三間，進(jìn)深六椽，單檐懸山頂，七檁無(wú)廊式構(gòu)架，前檐斗栱三踩單昂，明間平身科一攢，出45度斜栱，次間平身科二攢，前檐明、次間施六扇六抹格扇門。寺內(nèi)現(xiàn)存清維修及功德碑2通。1984年，代縣人民政府公布為縣級(jí)文物保護(hù)單位。