dual-numbers An implementation of the dual number system in Lean, including its application to automatic differentiation.