I don't know yet, but with Lasm I'll be spending a lot of effort finding out. And hopefully I'll get some help.
For me Lean is the key that has unlocked the idea of formal verification for general-purpose software engineering...before it was just an amazing technology that I couldn't practically touch in my profession and personal projects. That's changed now.
For me Lean is the key that has unlocked the idea of formal verification for general-purpose software engineering...before it was just an amazing technology that I couldn't practically touch in my profession and personal projects. That's changed now.