The Squirrel Prover and its Logic

David Baelde, Stéphanie Delaune, Adrien Koutsos, Charlie Jacomme, Joseph Lallemand
May 2024
PDF
Type
Conference paper
Publication
ACM SIGLOG News