{"type": "article", "title": "Quaternion Rotations, Claude, and Lean", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/quaternion-rotations-claude-and-lean", "original_source": "https://www.johndcook.com/blog/2026/06/15/quaternions-claude-lean/", "published": "2026-06-16T18:03:02+00:00", "accessed": "2026-06-16", "id": "quaternion-rotations-claude-and-lean"}