Certified Infinite Descent Criteria in Isabelle/HOL
2026 · International Conference on Interactive Theorem Proving · pp. 14:1-14:18 · 1 citation
· 30 references
Computer Science