References from ParetoProof: When Does Pareto Selection Improve Lean Proof Maintenance?. Local targets link to admitted publications; unresolved targets remain external evidence.
No reference evidence is available for this admitted work.
References for ParetoProof: When Does Pareto Selection Improve Lean Proof Maintenance? | ResearchHub - ResearchHub
