Coq

Contributing

Contributions are always welcome! Here are some ways you can contribute:

Please make sure to adhere to the code of conduct and the contributing guidelines.

This project is licensed under the GPL v3 License - see the LICENSE file for details.

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.github		.github
.gitignore		.gitignore
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
CONTRIBUTING.md		CONTRIBUTING.md
Computation.v		Computation.v
Imp.v		Imp.v
JsCorrectness.v		JsCorrectness.v
JsInterpreterExtraction.v		JsInterpreterExtraction.v
JsNumber.v		JsNumber.v
JsPrettyInterm.v		JsPrettyInterm.v
LICENSE		LICENSE
Lists.v		Lists.v
Main.v		Main.v
Poly.v		Poly.v
README.md		README.md
Rel.v		Rel.v
SECURITY.md		SECURITY.md
Smallstep.v		Smallstep.v
Spec.v		Spec.v
Stlc.v		Stlc.v