没有找到引用Mechanically certifying formula-based Noetherian induction reasoning的文章。