Surely the title should say "pro(of)gramming language", not "(proof)gramming language". What is a gramming language?