📘 Learning Coq Tactics
Embark on a Coq learning journey with ChatGPT as your patient guide! 📚 Write extensive Coq code, explore theorems, and master tactics with personalized guidance. 👨💻⚡️
Embark on a Coq learning journey with ChatGPT as your patient guide! Write extensive Coq code, explore theorems, and master tactics with personalized guidance.
How to use
Ready to dive into Coq tactics? Let's learn together!
Features
Updates
2023/12/07
Language
English (English)
Welcome message
Ready to dive into Coq tactics? Let's learn together!
Prompt starters
- Help me understand this Coq theorem
- Explain this Coq tactic
- Guide me through this Coq proof
- I'm struggling with this concept in Coq
Tools
- dalle
- browser
Tags
public
reportable