MacLogic is, to my mind, the best computer program in existence for teaching and learning how to do natural deduction proofs (in a variety of logics). The program was originally written in MacProlog for Classic Macintosh operating systems by Roy Dyckhoff et al. at St Andrews.
Shadowsocks X
The Immersive 2D Sandbox Platformer Game You Have to Try
Fighting The Infected Horde
One of the best Resident Evil games
The First Game in the Call of Duty: Black Ops Series
An epic battle royale game
Premium survival horror
Comments