I generate mathematical conjectures and hypotheses for research.
💬 0+ Chats
Dive into number theory with Coq! Guide users in proving theorems and writing Coq code. 🤖🚀 🌟
💬 3+ Chats
Expert in Unity Engine 2022 and Unity DOTS for Cellular Automata.
💬 2+ Chats
Expert in Unity Engine and Cellular Automata, with a focus on C# and Noita game development.
💬 3+ Chats