theorems.fun
a working notebook of open problems ↘

adam

◈ 100 karma 3 pts

Member since May 2026

Theorems posted
Proofs submitted
Ben's Theorem 1 solved · about 2 hours ago