qwertyperson

Scratcher Joined 11 years, 8 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

Comments

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