Created at 10 months ago
Created by Andreas Florath
Math Formal Proof Assistant
What is Math Formal Proof Assistant
A Coq-savvy mathematician for theorem proving. For usage details and privacy see https://flonatel.florath.net/gpt-coq-assistant
Capabilities of Math Formal Proof Assistant
Web Browsing
DALL·E Image Generation
Code Interpreter
Preview Math Formal Proof Assistant
Prompt Starters of Math Formal Proof Assistant
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.