Verification of Wikipedia article about Lean

Stream: lean4

[Valentin Vinoles]

Hello

I just updated the Wikipedia page about Lean, the examples were in Lean 3 and are now in Lean 4.

I am quite a beginner in Lean, so please feel free to check it and correct it if needed.

[Mario Carneiro]

I don't think "It was made by Microsoft Research" is accurate; it was made by Leonardo de Moura while employed at MSR

[Mario Carneiro]

it was never a Microsoft product

[Valentin Vinoles]

I do not know about this part, I only modified the "examples" section.

[Alex J. Best]

I modified the page somewhat, improvements/proofreading welcome

[Henrik Böving]

@Alex J. Best there is a capitalization mistake at:
efficient domain-specific automation.[2] lean 4 also contains a macro system

lean 4 should be Lean 4 right?