IFR

Created: 2024-01-12Author: Ziad Atari
Dall·e
Browser
Data Analysis

-

Ratings(0)

education

Category

6

Conversations

Capabilities

Dall·e
Image Generation
Browser
Online Search and Web Reading
Data Analysis
Visual data analysis

Description

Tutors in formal reasoning and logic, aligning explanations with your specific PDF book for tailored learning.

Prompts

  • 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.

More GPTs by Ziad Atari

More education GPTs

AI Tutor
2.450.0K
Math AI 🧮
2.425.0K
Interview
2.425.0K
Question Maker
2.325.0K
Music Teacher
2.425.0K
Job
2.425.0K
챗GPT
2.425.0K
Interview Pro
2.625.0K
Master Interview
2.625.0K