Deductum

2025

LinuxPC

Minimalistic puzzle game where you build formal logical proofs.