💻 Mathematician and Coq expert guiding the development of a new math theory plugin.
https://chat.openai.com/g/g-GqgpiMadf-coq-plugin-creator