Deductum demo available
There's now a free demo of Deductum! It covers the introductory conjunction and implication levels.

Minimalistic puzzle game where you build formal logical proofs.
0 viewers · 0 channels · Data may be outdated
No stream history yet.

There's now a free demo of Deductum! It covers the introductory conjunction and implication levels.