Mechanically certifying formula-based Noetherian induction reasoning
scientific article; zbMATH DE number 6680829
scientific article