Laboratoire Méthodes Formelles (LMF)
… Laboratoire Méthodes Formelles (LMF) Laboratoire Méthodes Formelles (LMF) ENS Paris-Saclay CentraleSupélec CNRS … Systems Extensional proofs in a propositional logic modulo isomorphisms Gilles Dowek 10/25/23 Theoretical Computer … Laboratoire Méthodes Formelles (LMF) ENS Paris-Saclay CentraleSupélec CNRS …Published on: