Contributions to open-source projects

Lean is becoming increasingly prevalent, as AI demonstrates that formalization is a promising future for mathematics, physics, and beyond.