Repo

kkp-connected-spectral-counterexamples

by Idris Ali Shaik · Zeta/Directi

Lean 4 connected K5-minus-edge-free spectral counterexamples with arbitrarily large edge counts

Built withLean

Comments · 0

No comments yet. Tried it? Tell Idris what worked, what didn't, or what you'd want next.

See what other members are building and what each project is looking for.