Workshops Coq Workshop 2021: 12th Coq Workshop Organizers: Christian Doczkal, Jean-Marie Madiot Website Proof Ground 2021 Organizers: Maximilian P. L. Haslbeck, Simon Wimmer, Tobias Nipkow Website
