Did you mean to post this on X, the everything app?

Try to do a web server in lean4 and we will talk after