Costruisci una dimostrazione una riga giustificata alla volta: ogni passaggio deve seguire da ciò che è già presente nel registro e ogni salto logico viene eliminato.
Il riquadro di sinistra mostra la figura, i dati e l'obiettivo. Il centro è un registro a due colonne di dichiarazioni e giustificazioni che costruisci. Dal pool di passaggi candidati, aggiungerne uno alla volta; un passo è accettato solo quando i suoi prerequisiti sono già dimostrati. Derivare l'obiettivo per completare la dimostrazione.
Lemma insegna una rigorosa dimostrazione deduttiva, imponendo che ogni passo sia giustificato.
Costruire un registro a due colonne di affermazioni e giustificazioni a partire da un insieme di passaggi candidati è la dimostrazione matematica come la si insegna in geometria.
Fornire i passaggi candidati è l'impalcatura originale.
Offrire i passaggi elimina la parte che è per lo più invenzione e lascia quella che è per lo più logica: decidere che cosa segue da che cosa, e in quale ordine. Un passaggio vero ma non ancora giustificato è l'errore tipico, ed è visibile solo nella forma a due colonne.
Lemma è un originale gioco di logica per browser gratuito che insegna una rigorosa dimostrazione deduttiva, imponendo che ogni affermazione sia giustificata dalle righe precedenti proprio come richiede una vera dimostrazione geometrica a due colonne.