All 7 GPTs built by Andreas Florath
Math Formal Proof Assistant
A Coq-savvy mathematician for interactive theorem proving. For usage details and privacy see https://flonatel.florath.net/gpt-coq-assistant
3.71K+
Hausaufgaben Helfer
Dein Helfer für alle Hausaufgaben, der mit Schritt-für-Schritt-Anleitungen und unterhaltsamen Fakten!
3.0100+
Mathe Hausaufgaben Helfer
Ich helfe bei Deinen Mathematik Hausaufgaben
100+
Think Twice
Improvement of chat results based on multiple reasoning and choosing the best answer
20+
Contrary Companion (Fun!)
Witty, ironic, always cheerful, and respectful.
10+
Homework Assistant
Your friendly guide for all homework tasks, nurturing curiosity with step-by-step guidance and fun facts!
10+
Secure API Advisor DEMONSTRATION
ONLY FOR DEMONSTRATION! DO NOT USE!