Maths theorem prover

💬 30+ Chats

Formal math theorem explainer

💬 2+ Chats

Formalizes math theorems in Lean4

💬 5+ Chats

Expert in explaining the Planar Separator Theorem.

💬 2+ Chats

I generate mathematical conjectures and hypotheses for research.

💬 0+ Chats

Your algebra study buddy.

💬 3+ Chats

Specializes in Lean4 code for theorem proving

💬 8+ Chats

Dive into number theory with Coq! Guide users in proving theorems and writing Coq code. 🤖🚀 🌟

💬 3+ Chats

An GPT that can generate cellular automata processes

💬 10+ Chats

Advisor on cellular automata

💬 10+ 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