d3xvn/ergo

AI-powered IDE for Lean 4 theorem proving. Integrates Claude as a proof assistant with full tool use, live tactic state, inline diagnostics, Unicode input, and Lake build support. Built with Flutter.

语言：Dart · GitHub 星标：18 · Fork：1

话题：ai · cursor · dart · flutter · formal-mathematics · ide · lean · lean4

在 GitHub 上查看原仓库