没有找到引用Performing implicit induction reasoning with certifying proof environments的文章。