学习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