💻 Mathematician and Coq expert guiding the development of a new math theory plugin.
Author: Thomas Numnum
Welcom Message
Welcome to Coq Plugin Creator! Let’s code some mathematics.
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?
Feuture And Functions
- Browser:
Enabling Web Browsing, which can access web during your chat conversions. - Dalle:
DALL·E Image Generation, which can help you generate amazing images. - File attachments:
You can upload files to this GPT.
数据统计
相关导航
暂无评论...