8 citations · 10 across the 2 of their papers we have counts for
3 papers
cs.LO2023★ 2 cited
Logipedia: a multi-system encyclopedia of formal proofs
Gilles Dowek, François Thiré
Libraries of formal proofs are an important part of our mathematical heritage, but their usability and sustainability is poor. Indeed, each library is specific to a proof system, s…
cs.LO2021★ 8 cited
A modular construction of type theories
Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger +2
The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several…
cs.LO2018
Sharing a Library between Proof Assistants: Reaching out to the HOL Family
François Thiré
We observe today a large diversity of proof systems. This diversity has the negative consequence that a lot of theorems are proved many times. Unlike programming languages, it is d…