The Squirrel Prover and its Logic

David Baelde, Charlie Jacomme. The Squirrel Prover and its Logic. SIGLOG News, 11(2):62-83, April 2024. [doi]

Abstract

Abstract is missing.