Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see github.com/coq/coq for the proper channels for bug reports or technical discussion. This account is community-managed by @ejgallego, @falsenov, and @Zimm_i48. Have fun!