Home | Notifications | New Note | Local | Federated | Search | Logout
Lean@leanprover@functional.cafe (2026-10-28 02:31:11) RE: https://functional.cafe/@leanprover/117509551640325237Reply
Software Verification in Lean on November 7 has reached in-person capacity! If you're interested in attending live, please join the waitlist: A livestream link will be shared with all waitlisted registrants a few days before the event.