The Lean 4 theorem prover and programming language
scientific article; zbMATH DE number 7437105
scientific article