Lean allows formal verification, but it does not make it easy. As staunton remar...

ykonstant 5 months ago | parent | context | favorite | on: Why fuzzing over formal verification?

Lean allows formal verification, but it does not make it easy. As staunton remarked, the devs are focusing on classical mathematics, and the ergonomics for verifying code are currently horrible. I do suspect this will change with time, though.