Repo

gallai-two-exception

@shaikidrisby Idris Ali Shaik · Zeta/Directi

0

Lean formalization of Gallai path decompositions with two exceptional even vertices and prescribed endpoint bounds.

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