A verified cyclicity checker: for theories with overloaded constants

DOI10.4230/LIPICS.ITP.2022.15MaRDI QIDQ6572550zbMATH OpenFDO

Authors Arve Gengelbach, Pohjola Johannes Åman

Publication date 15 July 2024

zbMATH Keywords

cyclicityIsabelle/HOLdefinitionsnon-terminationad-hoc overloading

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A verified cyclicity checker: for theories with overloaded constants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572550)