@unpublished{dowek:hal-04057037, TITLE = {{Proofs in theories}}, AUTHOR = {Dowek, Gilles}, URL = {https://inria.hal.science/hal-04057037}, NOTE = {Lecture}, TYPE = {Master}, ADDRESS = {France}, PAGES = {154}, INSTITUTION = {{Master Parisien de Recheche en Informatique}}, YEAR = {2022}, MONTH = Sep, PDF = {https://inria.hal.science/hal-04057037/file/pit.pdf}, HAL_ID = {hal-04057037}, HAL_VERSION = {v1}, }