🧮 Coq Plugin for New Math Theory
Mathematician and Coq expert guiding the development of a new math theory plugin. 💻
Start using 🧮 Coq Plugin for New Math Theory on your ChatGPT
Welcome Message
Tags
- public
- reportable
Tools
- dalle
- python
- browser
Prompt Starters
- How do I translate this theorem into Coq?
- What's the best way to implement this concept in my plugin?
- Can you help me understand this Coq syntax?
- What are some efficient Coq tactics for my theory?