← Back to context

Comment by Gabrielfair

1 year ago

A better version of this game with a tutorial: https://lovettsoftware.com/NaturalNumbers/TutorialWorld.lean...

0 comments

Gabrielfair

Reply

No comments yet

Contribute on Hacker News ↗