Show HN: AI math chat that knows your notes, connecting you to human experts

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