Also everything you've seen so far in Lasm at the Lean source code level has had almost no human honing from me. I'm a beginner to Lean, but I'll be honing the Conduit app and also bringing more example apps in.

The extent to which we can formally verify traditional web frontend and backend code is something I'm very excited to find out. My personal first goal is to be able to delete much of my test suites and replace them with Lean theorems.