직업 분류
소프트웨어 개발자
설명
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…
원문 언어: 영어
업데이트