Mining Git History for Proof Repair - prealpha; Formal Verification Agent Recipes

Skip to article frontmatter Skip to article content

Git history of a real world proof engineering codebase as an eval.

Using lean-lsp-mcp

Reinforcement Learning