Bertot, Y.Dowek, G.Hirschowitz, A.Paulin, C.Théry, L.2022-03-022022-03-0219993-540-66463-7https://publica.fraunhofer.de/handle/publica/135837Theorem proving in higher order logics