Oh FUCK, I made mathematical superintelligence. llm psychosis NOW. Time to have a public mental breakdown lol

LeanSlop allows you to slop all over your maths proofs without even having to open a web browser. mathematics has never been so SLOP; it's jover