Cette application est un jeu de dragueur de mines géométrique non euclidien qui ne nécessite aucune conjecture. Il utilise notre moteur de jeu original développé pour la géométrie hyperbolique, qui est lune des géométries non euclidiennes, et notre solutionneur de puzzle original optimisé pour les jeux de dragueur de mines. Vous pouvez jouer à ce jeu de puzzle classique dans un espace hyperbolique incurvé et résoudre tous les problèmes en utilisant uniquement la logique pure.