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

Math Formal Proof Assistant

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.

Other GPTs you may like