▲ 1 ProveIT – a short game to help you learn how formal proofs work in Logic (voxelrifts.itch.io) by vismit2000 | Aug 30, 2026 | 0 comments on HN Visit Link