Mostly posting for entertainment. The issues on the project are fun: https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1

nope, looks like a little bit of AI slop to me