TY  - CONF

T1  - Certified Infinite Descent Criteria in Isabelle/HOL

JO  - Leibniz International Proceedings in Informatics Lipics

PY  - 2026/07/16

AU  - Wright J

AU  - Cohen L

AU  - Rowe RNS

AU  - Popescu A

ED  - 

DO  - DOI: 10.4230/LIPIcs.ITP.2026.14

VL  - 382

Y2  - 2026/08/12

ER  -