0
Test the code
How can I prove the code? If I try to reply a first output, the second is wrong and if I change the first, the second is wrong
2 Antworten
+ 2
Please be descriptive when writing a question.
Prove the code? what code? where?
Reply first output, the second is wrong ...
Hard to understand.
And please don't write a statement, question or snippet into the tags above ☝
The below guide will help you understand how to compose a question well 👍
https://www.sololearn.com/Discuss/333866/?ref=app
0
There is software for writting proof out there but i doubt thats what you mean. Quote from one I've used before: "Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, the Verified Software Toolchain for verification of C programs, or the Iris framework for concurrent separation logic), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem, or homotopy type theory), and teaching"
https://coq.inria.fr
Alternatively, you mentioned test the code. Maybe you mean unit tests, etc. If so, there are several options, language specific though. Would help if we new the programming language and like lpang said more description required for your question.