[go: up one dir, main page]

Draft: Master with proto J and K

Guillaume Claretrequested to merge
master-with-coq-j into master

We translate to Coq the proto J and K directly from their respective folders (proto J or proto K). This way it will be easier to stay up-to-date, by doing merges of the changes of master into this branch, or even by simply rebasing regularly.

Merge request reports