한 번에 한 줄씩 정당화된 증명을 구성합니다. 모든 단계는 이미 원장에 있는 내용을 따라야 하며 논리적 비약은 모두 폐기됩니다.
왼쪽 창에는 그림, 주어진 내용 및 목표가 표시됩니다. 센터는 귀하가 작성한 진술서와 근거를 담은 2열 원장입니다. 후보 단계 풀에서 한 번에 하나씩 추가합니다. 전제조건이 이미 입증된 경우에만 단계가 승인됩니다. 증명을 완성하기 위한 목표를 도출합니다.
Lemma는 엄격한 연역적 증명을 가르치며 모든 단계가 정당화되도록 강제합니다.
후보 단계들의 풀에서 진술과 근거로 된 2단 장부를 만드는 것은 기하에서 가르치는 방식의 수학적 증명이다.
후보 단계를 제공하는 것이 독창적인 발판이다.
단계를 제시하면 대부분 창의에 해당하는 부분이 빠지고 대부분 논리에 해당하는 부분이 남는다. 무엇이 무엇에서 따라 나오는지, 그리고 어떤 순서로인지를 정하는 것이다. 참이지만 아직 정당화되지 않은 단계가 전형적인 오류이며, 그것은 2단 형식에서만 보인다.
Lemma는 엄격한 연역적 증명을 가르치는 독창적인 무료 브라우저 논리 게임으로, 실제 2열 기하학 증명이 요구하는 것처럼 모든 주장이 이전 줄에 의해 정당화되도록 강제합니다.