This account is no longer used. Follow us on Mastodon at @[email protected] (mastodon.acm.org/@rocqprover) instead.

ID: 1215730746155065347

linkhttps://rocq-prover.org calendar_today10-01-2020 20:22:57