MathCode — терминальный AI-агент для формальных доказательств в Lean 4
MathCode — терминальный AI кодинг агент со встроенным движком математической формализации. Задайте математическую задачу обычным языком — агент автоматически преобразует её в теорему на Lean 4 и попыт…
📂 GitHub