Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun. Using small scale automation to improve both accessibility and readability of formal proofs in geometry.
Automated Deduction in Geometry 2014, Jul 2014, Coimbra, Portugal. pp.1-19.
⟨hal-00989781v2⟩