Which library I should include to read a color image? Like in python
image = cv2.imread('/home/pictures/1.jpg')
That does not look like Coq, this is probably the wrong forum
I mean how to read image in Coq , like other languages? I want to prove some properties of color image. But do't know how to have values of colors in 3d array against image.(know in metlab)
Coq is a pure language, so by default it doesn't have any way to input anything from the filesystem except compiled Coq code. People do write tools and extensions to generate Coq code with the data they want, though.
Is there any example ? (in case of matlab)
no idea about metlab (Matlab?), but for example the CompCert compiler has a tool which generates Coq code from C programs: https://github.com/AbsInt/CompCert/tree/master/exportclight
You can also generate a
.v file with a constant that contains an array with the image.
Last updated: Jan 28 2023 at 06:30 UTC