I thought this was about writing proofs with RPG the programming language and I was intrigued.

To make it clear that it is with an RPG (role playing game) it needs an "an" in the title.