Trending News

Dungeon Proof Crawler gamifies formal logic and mathematical proofs

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.