About the Developing plugins category

Ask questions and share experience and best practices about the development of Coq plugins.