المهنة
مطوّرو البرمجيات
الوصف
Fast Lean 4 proof verification for coding agents via the LeanProbe MCP server's warm REPL. Use when you need to know whether Lean 4 code compiles (no errors, no `sorry`), iterate on a declaration inside a Lake/Mathlib project, test a replacement proof…
لغة النص الأصلي: الإنجليزية
آخر تحديث