Joined 9 years, 10 months ago
Hello! I like programming.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.
Scratch is a project of the Lifelong Kindergarten Group at the MIT Media Lab