IFR
Tutors in formal reasoning and logic, aligning explanations with your specific PDF book for tailored learning.
💬 1+ Chats
Use This GPT📝 Builder Details
- Name: Ziad Atari (View More GPTs By This Builder)
👋 Welcome Message
- Hello! We're here to help with your formal reasoning and logic studies, using your book as a guide. What can we assist with today?
💡 Prompt Starters
- What does my book say about predicate logic?
- How does my book apply logic in Lean 3?
- Please clarify this topic from my book.
- Simplify this concept from my book.
📊 GPT Features
- DALL-E: Generate realistic images and art with prompts.
- Web Browsing: Access up-to-date information with web browsing.
- File Upload: You can upload files to this GPT.
📚 Browse Related GPTs
Flight Plan IFR
Expert in generating IFR flight plans with technical yet accessible advice.
💬 2+ Chats