Construisez une preuve une ligne justifiée à la fois - chaque étape doit découler de ce qui est déjà dans le grand livre, et tout saut logique est rejeté.
Le volet de gauche montre le chiffre, les données et l'objectif. Le centre est un registre à deux colonnes de déclarations et de justifications que vous construisez. À partir du pool d’étapes candidates, ajoutez-en une à la fois ; une démarche n'est acceptée que lorsque ses prérequis sont déjà prouvés. Dérivez l’objectif pour compléter la preuve.
Lemma enseigne une preuve déductive rigoureuse, affirmant que chaque étape est justifiée.
Construire un tableau à deux colonnes, affirmation et justification, à partir d'un ensemble d'étapes candidates, c'est la démonstration mathématique telle qu'on l'enseigne en géométrie.
Fournir les étapes candidates est l'échafaudage original.
Proposer les étapes retire la part qui relève surtout de l'invention et laisse celle qui relève surtout de la logique : décider ce qui découle de quoi, et dans quel ordre. Une étape vraie mais pas encore justifiée est l'erreur typique, et elle n'est visible que sous la forme à deux colonnes.
Lemma est un jeu de logique par navigateur original et gratuit qui enseigne une preuve déductive rigoureuse, exigeant que chaque affirmation soit justifiée par des lignes antérieures, tout comme l'exige une véritable preuve géométrique à deux colonnes.