Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Masanori Ogino 𓀁@omasanori@mstdn.maud.io (2026-10-13 11:00:34)
Lean 4.35.0 🎉
https://github.com/leanprover/lean4/releases/tag/v4.35.0
Reply