Proofs in theories
Origin : Files produced by the author(s)
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Gilles Dowek : Connect in order to contact the contributor
https://inria.hal.science/hal-04057037
Submitted on : Monday, April 3, 2023-8:24:13 PM
Last modification on : Thursday, April 6, 2023-3:55:38 AM