6/15/2026
•
EN
Quaternion Rotations, Claude, and Lean
Using Claude and Lean to verify quaternion rotation matrix formulas, detecting a typo in the process.