3
Ratings(7)
research
Category
1.0K
Conversations
Capabilities
Data Analysis
Visual data analysis Dall·e
Image Generation Browser
Online Search and Web ReadingDescription
A Coq-savvy mathematician for interactive theorem proving. For usage details and privacy see https://flonatel.florath.net/gpt-coq-assistant
Prompts
- Define a new mathematical concept in Coq, run and check it.
- Explain how to prove a lemma in Coq
- Help me understand this Coq code [COQ]Check S (S 0).[\COQ]
- Define the hamming distance. A codeword should be a list nat. Define three examples. Execute everything to check for correctness.
More GPTs by Andreas Florath
More research GPTs
225.0K
2.425.0K
2.725.0K
2.425.0K
2.525.0K
2.425.0K
2.625.0K
2.325.0K
2.325.0K