Scratcher Joined 11 years, 8 months ago United States
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.
What I'm working on
I'm currently making an interactive theorem prover using abstract algebra and higher order logic.
That's not on Scratch, though.