Formal demo logic with interactive theorem provers


Peio Borthelle, LAMA, CNRS and Université Savoie Mont Blanc, Chambéry, France. April 24, 2024, 2 p.m. doct 2:00:00
Abstract: