Hello! I like programming. I'm not on Scratch too much these days, but I login from time to time.

I have one alt, @murphyis2018.

I'm currently making an interactive theorem prover using abstract algebra and higher order logic.

That's not on Scratch, though.