LibHunt's Coq Newsletter

Weekly LibHunt email, every Friday, with the most popular Coq news, articles and trending open-source projects.