R. I. P. Rest of The Math World - Chris Pompetzki has taken his first step in not being such a stubborn math only man and resolved to learn a thing or two about comp sci and code

R. I. P. Math World - Chris Pompetzki has taken his first step in not being such a stubborn math-only man and resolved to learn a thing or two about comp sci and code

See uploaded screenshots here for context. 

That's right, gang. 

I've crossed into the world of Lean 4. 

RIPperooni :)

Lean 4 confirmed proofs of Riemann Hypothesis, Generalized Riemann Hypothesis, Union-Closed Sets Conjecture, Hadwiger Conjecture, abc conjecture, and obscenely many more "open" problems that I've already proved, just not with Lean 4 yet to come :]