A project of short tutorials and how-to guides for Coq features and Coq Platform packages. - View it on GitHub