Julien Narboux

Identifiers

• name variant Julien Narboux 0.60 · backfill

Papers (2)

1. Proof-checking Euclid cs.LO · 2017 · author #2
2. Herbrand's theorem and non-Euclidean geometry math.LO · 2014 · author #3

Mentions

• 1410.2239 #3 · backfill · confidence 0.70 Julien Narboux

Frequent Coauthors

• Michael Beeson 2 shared papers
• Freek Wiedijk 1 shared papers
• Pierre Boutry 1 shared papers