Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: CL (Clausal Language) is a computer programming language with mathematical syntax and a proof system based on Peano arithmetic which  have repeatedly used in the teaching of three undergraduate courses covering respectively declarative programming, program verification and program and abstract data specification.
['Ján Komara', 'Paul J. Voda']
I am writing a research paper on a idea Computer Programming as Mathematics in a Programming Language and Proof System CL
[{"from": "human", "value": "I am writing a research paper on a idea Computer Programming as Mathematics in a Programming Language and Proof System CL"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: CL (Clausal Language) is a computer programming language with mathematical syntax and a proof system based on Peano arithmetic which  have repeatedly used in the teaching of three undergraduate courses covering respectively declarative programming, program verification and program and abstract data specification."}]