claim.md

증명 폴더(proofs/<슬러그>/) 안에 두는 파일 중 하나로, 실험을 돌리기 전에 먼저 쓴다. 증명하려는 주장을 한 문장으로 적고, 근거 종류 중 무엇에 해당하는지와 이 실험이 어떤 표준 글을 받치는지, 그리고 어떤 결과가 나오면 주장이 틀린 것으로 보는지(반증 조건)를 미리 적어 둔다. 결과를 보기 전에 반증 조건을 먼저 적어 둬야 나중에 어떤 수치가 나와도 주장에 맞춰 읽지 않을 수 있다.