lean-formal-feedback-loop

Run Lean-Rust proof feedback loops to find runtime bugs. Use when proving theorems, triaging hard proof blockers, checking conformance, or closing formal assurance gaps.

Independent GitHub snapshot · Automated classification · Original documentation governs