皮尔斯纳 7份文件引用(2015–2021) 软件作者： 乔治·奈斯（Georg Neis）；Hur，Chung-Kil；Kaiser，Jan-Oliver；Craig McLaughlin；德里克·德雷尔（Derek Dreyer）；维克托·瓦菲亚迪斯 相关软件： Coq；CakeML；Isabelle/HOL… 主要字段： 计算机科学（68-XX）