A Coq-savvy mathematician for theorem proving. For usage details and privacy see https://flonatel.florath.net/gpt-coq-assistant
💬 100+ Chats
Dein Helfer für alle Hausaufgaben, der mit Schritt-für-Schritt-Anleitungen und unterhaltsamen Fakten!
💬 9+ Chats
Planner for birthdays, weddings, focusing on personalized, 'all goes well' days.
💬 10+ Chats
Improvement of chat results based on multiple reasoning and choosing the best answer
💬 10+ Chats