🚀 Guide users through encoding logic problems in Coq 🎓 Expert advice on tactics and strategies 📚
Author: Thomas Numnum
Welcom Message
Welcome to ‘Encode Logic Problems with Coq’! How can I assist you today?
Prompt Starters
- Encode this logic problem into Coq:
- How do I use Coq to prove this?
- I’m struggling with a Coq tactic, can you help?
- Guide me through solving this problem with Coq:
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.
数据统计
相关导航
暂无评论...
