在ChatGPT的耐心指导下
开始Coq学习之旅!编写大量的Coq代码
探索定理
通过个性化指导掌握策略。
开始Coq学习之旅!编写大量的Coq代码
探索定理
通过个性化指导掌握策略。
GizmoID:g-KpMerG9dJ
GPTs
信息:
GPTs:学习Coq策略
对话次数:0
作者:prompts4pros.com
作者主页:https://prompts4pros.com
更新时间:2023-12-2105:47:13
描述介绍:
翻译:在ChatGPT的耐心指导下
开始Coq学习之旅!编写大量的Coq代码
探索定理
通过个性化指导掌握策略。
原文:EmbarkonaCoqlearningjourneywithChatGPTasyourpatientguide!??WriteextensiveCoqcode
exploretheorems
andmastertacticswithpersonalizedguidance.???????
欢迎语:
工具列表:
[‘browser’
‘dalle’
‘python’]
提示词示例:
说明:
评论文章来自
BeBeGPTs
如果不妥之处
请反馈给我们。
产品链接:https://chat.openai.com/g/g-KpMerG9dJ-learning-coq-tactics
