Thomas Braibant (LIG)

Identifiers

• name variant Thomas Braibant (LIG) 0.60 · backfill

Papers (2)

1. Coquet: a Coq library for verifying hardware cs.LO · 2011 · author #1
2. Tactics for Reasoning modulo AC in Coq cs.MS · 2011 · author #1

Mentions

• 1108.4253 #1 · backfill · confidence 0.70 Thomas Braibant (LIG)
• 1106.4448 #1 · backfill · confidence 0.70 Thomas Braibant (LIG)

Frequent Coauthors

• Damien Pous (LIG) 1 shared papers