A Verified Cyclicity Checker: For Theories with Overloaded Constants.

Arve Gengelbach, Johannes man Pohjola

Browse the full ITP paper archive.