Refcat/DeductumReferência de UI · gameDeductumMinimalistic puzzle game where you build formal logical proofs.Explore fluxos reais do produtoScreenshotsExplorar o catálogo completo