In this workshop expert mathematical users from different proof assistant communities will gather for a short, informal, virtual meeting. This will happen during half-day sessions on 2, 3, and 4 March (afternoons in CET). The focus will be on community building, discussion, and collaboration; formal academic talks will be kept to a minimum.
Registration for this event closed on Wednesday 23 February. See also: https://lean-forward.github.io/lorentz-center-meeting/