News about Lean, the theorem prover and programming language.
Type in the search box at the top of the page.
Search needs JavaScript. Browse the sections or the weekly editions instead.
Weekly
Weekly