coqGraphics

Graphics in coq

Name		Name	Last commit message	Last commit date
Latest commit History 91 Commits
4900report		4900report
javaDraw		javaDraw
py_lines		py_lines
.gitignore		.gitignore
ColtfinalText.docx		ColtfinalText.docx
README.md		README.md
d_and.v		d_and.v
graphics.v		graphics.v
graphicsProofs.v		graphicsProofs.v
graphicsTypeClass.v		graphicsTypeClass.v
makefile		makefile
pixelState.v		pixelState.v
test.ml		test.ml
test.mli		test.mli

Provide feedback