Community

Join the discussion about LeanMFG, ask questions, and suggest models, algorithms, or results to formalize. Beginners are welcome.

Lean Zulip

The Mean Field Game in Lean4 discussion is in the Lean community's Project announcements channel. Share feedback on the library and discuss what to develop next.

WeChat / 微信群

Scan the QR code in WeChat to join the LeanMFG group for discussion in Chinese.

欢迎加入 LeanMFG 微信群，交流平均场博弈、Lean 形式化和项目贡献。初学者也欢迎参与。

This invitation is valid before 4 October 2026. If it has expired, ask for an updated code in the Zulip discussion above.

二维码于 2026 年 10 月 4 日前有效；过期后可在上方 Zulip 讨论串中询问新的邀请。

Issues and contributions

Use GitHub issues for bug reports and concrete feature requests. To submit a change, see the contribution guide.