Scratcher Joined 14 years, 4 months ago United States

About me

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.

Polarity v3.2

What I've been doing


You have 500 characters left.
  • Comments loading...