|
|
|
|
|
|
by stuartriffle
429 days ago
|
|
|
Absolutely not, but ChatGPT generated some Lean, I posted it in a comment. I'm not set up to run that, downloading stuff now. I guess we'll see. [edit] I have deleted the half-ass ChatGPT generated Lean because it doesn't compile yet and that's lame. Working on it. |
|
|