This is wild, I had no idea Lean could be used for things like this.
That's what hooked me on Lean. Lean is a general-purpose software development language, not just a formal verification language. This is powerful.
That's what hooked me on Lean. Lean is a general-purpose software development language, not just a formal verification language. This is powerful.