Skip to content

Higher Order Differential Calculus in Mathlib.

Sbastien Gouzel

VenueBCPP
Year2026
ProceedingsCPP

Browse the full CPP paper archive.