Formal demo logic with interactive theorem provers

Peio Borthelle, LAMA, CNRS and Université Savoie Mont Blanc, Chambéry, France. 24 avril 2024 14:00 doct