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

Note Detail

Masanori Ogino 𓀁@omasanori@mstdn.maud.io (2026-09-20 08:22:41)
Rocq 9.3.0 🎉
https://github.com/rocq-prover/rocq/releases/tag/V9.3.0
Reply