AgentDish directory
Lean 4
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#329
↓ -3
chaos-prover
An autonomous neuro-symbolic formal verification engine for Lean 4. The repository describes a proof workflow that generates tactics and then checks them deterministically in Lean, with example proofs, verification steps, and telemetry outputs. |
Developer Tools / Formal Verification | 82 | ↓ -3 | 27 days ago | Details |