Thomas Braibant

Identifiers

• name variant Thomas Braibant 0.60 · backfill

Papers (1)

1. MirrorShard: Proof by Computational Reflection with Verified Hints cs.PL · 2013 · author #3

Mentions

• 1305.6543 #3 · backfill · confidence 0.70 Thomas Braibant

Frequent Coauthors

• Adam Chlipala 1 shared papers
• Edward Z. Yang 1 shared papers
• Gregory Malecha 1 shared papers
• Patrick Hulin 1 shared papers