6 points | by carlsverre a day ago ago
4 comments
Mostly posting for entertainment. The issues on the project are fun: https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
I, too, like it when my theorems have zero 'sorry's in them.
Yyyeah that's almost certainly bs
nope, looks like a little bit of AI slop to me
Mostly posting for entertainment. The issues on the project are fun: https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
I, too, like it when my theorems have zero 'sorry's in them.
Yyyeah that's almost certainly bs
nope, looks like a little bit of AI slop to me