Revert "feat: Add Lean formalization via lean-dojo" (#1)

Reverts 2831b51 and follow-up lint fix 09602e1.
Code was merged with failing CI — reverting until it passes review.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: haasonsaas