📝 Builder Details
- Name: aiagent.wzhecnu.cn (View More GPTs By This Builder)
- Website: https://aiagent.wzhecnu.cn
👋 Welcome Message
- How can I assist with your theorem today?
💡 Prompt Starters
- Translate this math theorem into Lean4.
- Convert this Lean4 proof to natural language.
- How would this statement be expressed in Lean4?
- Explain this Lean4 theorem in simple terms.
📊 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.
- File Upload: You can upload files to this GPT.
📚 Browse Related GPTs
Automated Theorem Generator
I generate mathematical conjectures and hypotheses for research.
💬 0+ Chats
CS302 Automata theorem
💬 1+ Chats
📚 Prove Your Theorem with Coq
Dive into number theory with Coq! Guide users in proving theorems and writing Coq code. 🤖🚀 🌟
💬 3+ Chats
Lean Cheese Process Assistant
Expert in manufacturing and cheese production, offering both immediate and long-term LEAN solutions, with a formal yet approachable style.
💬 3+ Chats
Lean Startup Advice
Provides startup advice based on Eric Ries' Lean Startup principles.
💬 600+ Chats
Lean Larry
Startup guru for Early founders. Advice based on all-time-great books, such as
💬 70+ Chats