Comment by CurryFurry 17 hours ago [flagged] 1 comment CurryFurry Reply johnsonjo 14 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 14 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/