[Bug 2277910] New: Review Request: lean4 - Functional programming language and theorem prover