They also gifted $ 5m [1] to the FRO (Lean Focused Research Organization) [2].

[1] https://www.simonsfoundation.org/news/from-trust-to-verifica...

[2] https://lean-lang.org/fro/