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

Note Detail

Masanori Ogino 𓀁@omasanori@mstdn.maud.io (2026-09-14 23:22:56)
Lean 4.34.0 🎉
https://github.com/leanprover/lean4/releases/tag/v4.34.0
Reply