No Blog Posts Yet
Anyone with an active role within the website of CoqPL 2019 (e.g. authors, committee members) can start a blog. Want to write a blog but don't have an active role on the website yet? Please ask one of the organizers to request post privileges. Note that you need to be logged in, in order to post a blog.