📝 Builder Details
- Name: metareflection.club (View More GPTs By This Builder)
- Website: https://metareflection.club
👋 Welcome Message
- -
💡 Prompt Starters
- Write a factorial function and prove that it's always strictly positive.
- Write an ADT for arithmetic expressions comprising constants, variables and binary additions. Then write an evaluator taking an expression and an environment (a function that takes a variable name and returns a number) and returns the number resulting from evaluation. Then write an optimizer tha takes an expression and returns an expression with all additions by 0 removed. Then prove that the optimizer preserves the semantics as defined by the evaluation function.
- Use Search with the Coq plugin to find lemmas involving +.
📊 GPT Features
- DALL-E: Generate realistic images and art with prompts.
- Web Browsing: Access up-to-date information with web browsing.
- Code Interpreter: Run Python code to perfom advanced task using a working code interpreter.
- Plugins: This GPT has plugin functionality.
- File Upload: You can upload files to this GPT.
📚 Browse Related GPTs
🚀 Coq Proof Assistant for Sorting Algorithm
Master Coq for algorithm verification! Tackle logic, write code, and verify flawlessly. Lead the programming revolution! 🚀🔨
💬 0+ Chats
🎓 Proving Theorems with Coq
Tackle complex proofs with Coq! Get detailed Coq script guidance for accurate, impressive results. 🚀🧮🎉
💬 3+ Chats
🔎 Coq Prover: Concurrency
Mathematician in Coq, proving concurrent system properties. 🔄 Deep dives into Coq code and logical explorations! 🎓🧠
💬 0+ Chats
📚 Prove Your Theorem with Coq
Dive into number theory with Coq! Guide users in proving theorems and writing Coq code. 🤖🚀 🌟
💬 3+ Chats
🎓 Encode Logic Problems with Coq
Guide users through encoding logic problems in Coq 🎓 Expert advice on tactics and strategies 📚🚀
💬 1+ Chats
🧮 Prove Algebraic Results with Coq!
Master Coq to prove algebraic results! Detailed guidance in writing Coq code for complex proofs. Ideal for math enthusiasts! 🎯💼
💬 3+ Chats
Home Assistant Assistant
Expert in Home Assistant, ESPHome, YAML, Jinja2, and latest updates.
💬 300+ Chats
Home Assistant assistant
Home Assistant automation and configuration helper. Focus on privacy and simplicity.
💬 2+ Chats
HA Assistant | Your Smart Home Assistant
Just another home automation AI over-complicating the simplest of tasks with Home Assistant.
💬 0+ Chats