代县证空寺，位于代县城东二十五公里下高陵村。寺庙创建年代不详，明万历重修。

　　寺座北向南。分东西二院。东院有过殿三间，单檐悬山顶。三铺作单昂斗拱，花格隔扇窗、青灰筒板瓦盖顶。有兽。

　　正殿三间，单檐悬山顶，三铺作单昂斗拱，中檩有明代万历重修记字。正脊为彩陶花脊，屋顶坡度平缓，出檐深远。殿前有清代重修石碑二通。

　　西院正殿三间，单檐歇山顶，前设卷棚，正殿左右有朵殿各三间，硬山顶。青灰筒板瓦盖顶。院内东配殿三间。正殿对面有戏台三间座南向北。西侧有反方向真武殿一间。整个建筑保存完整。是代县重点古建之一。