This is an unofficial reimagining of the Archive of Formal Proofs
Hyperdual Numbers and Forward Differentiationby Filip Smola and Jacques Fleuriot