01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
By Ayman Moussa
Appears in collection : Cours Sorbonne Université
Existence de fonctions d'une variable non triviales, lisses et à support compact