aPToP. I'm working through "a Practical Theory of Programming." http://www.cs.toronto.edu/~hehner/aPToP/

github.com/bukzor/aPToP

Problem

Audience

Updates

No founder updates yet. Check back soon.