Post #902686
2026-03-31 11:53 UTC
Rocq is Pacman complete!
see Rocqman, a Pacman implementation (with some proofs!) in Rocq, extracted to C++ via Crane: https://github.com/joom/rocqman
Replies (4)
-
@joomy@functional.cafe 2026-04-01 14:29
dammit i should have released this on april fools day
-
@joomy@functional.cafe 2026-04-06 13:37
and this time I got nerdsniped into making a minesweeper game in Rocq (with proofs about the game logic and interactions!): https://github.com/joom/rocqsweeper
-
@markusde@mathstodon.xyz 2026-03-31 11:56
@joomy@functional.cafe Oh my god I love this
-
@tfb@functional.cafe 2026-03-31 14:09
@joomy@functional.cafe Oh this is great !