← Back to context Comment by CurryFurry 10 hours ago For "Lean"? LeaRn? Lean Manufacturing? Stupid one-word techbro product names. 1 comment CurryFurry Reply johnsonjo 8 hours ago Lean is a programming language [1]> Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code[1]: https://lean-lang.org/
johnsonjo 8 hours ago Lean is a programming language [1]> Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code[1]: https://lean-lang.org/
Lean is a programming language [1]
> Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code
[1]: https://lean-lang.org/