Bot GPTs

Clear All

Math Formal Proof Assistant by Andreas Florath

★ ★ ★ ☆ ☆ 3.7 - (7) Reviews - Created on जनवरी 06, 2024

Last updated on जनवरी 18, 2024 Engagement: Over 1K Conversations

A Coq-savvy mathematician for interactive theorem proving. For usage details and privacy see https://flonatel.florath.net/gpt-coq-assistant

Author: Andreas Florath View Author GPTs
Author website: https://flonatel.florath.net
Share this GPT: Try Math Formal Proof Assistant
GPT Message
Prompt Starters: 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.
Features and Functions: Coq Compiler API This API allows users to remotely execute Coq Proof Assistant compiler (`coqc`) and interactively execute Coq code using `coqtop`, retrieving detailed results and feedback for each line of code.

Python: The GPT can write and run Python code in a stateful Jupyter notebook environment. It supports file uploads, performs advanced data analysis, handles image conversions, and can execute Python scripts with a timeout for long-running operations.

Knowledge file: This GPT includes data from 1 files.

No sample chats found.