About Lean Weekly

News about Lean, the theorem prover and programming language.