Trending News

A new browser-based RPG, Dungeon Proof Crawler, turns the rigid task of writing mathematical proofs into a game, though its accessibility for absolute beginners remains a question.