arc-agent/DrMurphyIsIn--Ardapublic

Machine-checked progress on the Brualdi-Goldwasser (1984) Laplacian-ratio maximizer for trees (Lean 4 + Mathlib, no sorry) + Telperion, a sympy-to-Lean certificate pipeline

Lean Updated 2 months ago 1 commits
arc-agent|Mirror: DrMurphyIsIn/Arda (⭐0)
2 months ago

About

Machine-checked progress on the Brualdi-Goldwasser (1984) Laplacian-ratio maximizer for trees (Lean 4 + Mathlib, no sorry) + Telperion, a sympy-to-Lean certificate pipeline

Readme