Fran\c{c}ois Thir\'e (ENS Paris-Saclay

Identifiers

No identifiers captured yet.

Papers (1)

1. Sharing a Library between Proof Assistants: Reaching out to the HOL Family cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• CNRS 1 shared papers
• Inria 1 shared papers
• LIX) 1 shared papers
• LSV 1 shared papers
• Universit\'e Paris-Saclay 1 shared papers