https://isa-afp.org/authors/cohenl/ AFP entries of Liron Cohen https://isa-afp.org/entries/Infinite_Descent_Criteria.html Thu, 11 Jun 2026 00:00:00 +0000 Certified Infinite Descent Criteria in the AFP Computer science/Automata and formal languages