Souvik Bose

Souvik Bose

#104654760 followers5 following
>1,000All time
0 KP

Badges

Tastemaker
Tastemaker

Maker History

  • Lemma
    LemmaLemma checks your proof like a careful TA
    Nov 2026
    • 🎉
    Joined Product HuntNovember 13th, 2026

Forums

•

16h ago

Lemma - Lemma checks your proof like a careful TA

Lemma checks your proof like a careful TA. It finds the first line that doesn't follow, and it won't hand you the answer.
View more