Launching today
Lemma
Lemma checks your proof like a careful TA
2 followers
Lemma checks your proof like a careful TA
2 followers
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.
