Show HN: Social and context-aware AI platform to do math

(prooftree.ai) by lemma1729 | Jul 5, 2026 | 0 comments on HN