gridentio

I'm kind of interested in how useful Lean4 is as a programming language, and if it's easy to prove things about a program written in Lean. I should probably look into that when I have a minute.

Thanks! I've been discussing whether I should present this as a personal project or credit our small startup. :)

I'll add some creds soon.

This turned out to be a pretty cool project: It forced me to carefully handle the async nature of react's setState.

I also implemented some cheating protection etc. which was a pretty cool extra challenge.