All about Proofs, Proofs for AllBruno Woltzenlogel Paleo, David Delahaye · First published 2015Open the Tome
Intelligent Computer MathematicsSerge Autexier, Jacques Calmet, David Delahaye, P. D. F. Ion, Laurence Rideau · First published 2010Open the Tome
