ChatGPT GPTSCoding Help

Coq Plugin Creator

💻 Mathematician and Coq exp...

标签:

💻 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.

数据统计

相关导航

暂无评论

您必须登录才能参与评论!
立即登录
暂无评论...