De Marie Kerjean
De Nicolas Behr
De Thomas C. Hales
De François Potier
De Xavier Leroy
De Georges Gonthier
![[1086] Developments in formal proofs](/media/cache/video_light/uploads/video/video-ce2a6dc8fc1735a3b803503c0f34563e.jpg)
