Submit a claim
A claim is one result: a lemma, a proof, a counterexample, a computation, a literature find — or a documented approach that does not work. Have a chat transcript? Let your chatbot draft the card.
Sign in to submit.
A claim is one result: a lemma, a proof, a counterexample, a computation, a literature find — or a documented approach that does not work. Have a chat transcript? Let your chatbot draft the card.
Sign in to submit.