zonecog/platform-docs

The **zonecog/platform-docs** repository hosts a collection of short, interactive tutorials and practical how-to guides for **Coq** and its ecosystem of Platform packages. It is designed for **Coq users of all levels**, from beginners learning core features to experienced users seeking guidance on specific tasks or advanced plugins. The project aims to provide a centralized, horizontally organized online resource that