This post was originally published on this site.
Lean is a functional programming language and proof assistant that allows developers to write programs and verify their mathematical correctness within the exact same system.
Connect with Leo on LinkedIn and check out his many badges on Stack Overflow.
Congrats to Populist badge winner Peter Lawrey for winning the badge on their answer to Check two float/double values for exact equality.
