Show HN: Posting Puzzle – A Game Made of Post's Correspondence Problem

Category: other

Tags: formal-verification, puzzle-game, post-correspondence-problem, isabelle, mathematics

Score: 6.0/10 (Innovation: 7, Technical: 8, Documentation: 5, Utility: 4)

This project presents a playable puzzle game based on Post's Correspondence Problem (PCP), alongside formal Isabelle proofs of solvability for 3,170 previously unresolved PCP[3,4] instances. The combination of an interactive game and rigorous formal verification makes it an interesting intersection of recreational mathematics and formal methods.

Target audience: mathematicians, computer scientists, formal verification enthusiasts, puzzle gamers

Repository: https://mametter.itch.io/posting-puzzle · Isabelle

View on Hacker News