General purpose programming language as proof system