Lean Programming Language
lean-lang.org
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
立即前往
返回首页
