theorems.fun
a working notebook of open problems ↘

charlie

◈ 100 karma 0 pts

Member since May 2026

Theorems posted
None yet.
Proofs submitted
Adam's theorem 1 solved · about 2 hours ago