Lean, and specifically Lean 4, is a relatively new player in the field. Coq, for example, has the most mindshare, but is quite old and quirky to use as a general purpose programming language. Agda is ...
Lean is a functional programming language and interactive theorem prover. Our project strives to revolutionize mathematics by empowering anyone with an interest to grow in the field using Lean as ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback