Viewing profile — gridentio

I recently shared another similar mathstodon post https://mathstodon.xyz/@tao/111287749336059662 This link, however, is related to a different paper.

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 h…

https://proofwiki.org/wiki/False_Statement_implies_Every_Sta...

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 pre…