Thibault Gauthier

Identifiers

No identifiers captured yet.

Papers (4)

1. Learning to Reason with HOL4 tactics cs.AI · 2018 · author #1
2. Premise Selection and External Provers for HOL4 cs.AI · 2015 · author #1
3. Sharing HOL4 and HOL Light proof knowledge cs.AI · 2015 · author #1
4. Matching concepts across HOL libraries cs.LO · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Cezary Kaliszyk 4 shared papers
• Josef Urban 1 shared papers