Scratcher Joined 9 years, 10 months ago United States

About me

Hello! I like programming.

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...