https://gitlab.com/nomadic-labs/data-encoding/
History
Tip revision: 6cfe111de0fe605214149b899f1cfd5dfab060ce authored by Guillaume Claret on 15 September 2021, 15:47:45 UTC
Merge branch 'guillaume-claret@binary-lexeme-backend-for-coq' into 'binary-lexeme-backend-for-coq'
Tip revision: 6cfe111
File Mode Size
build_coq
misc
src
test
.gitignore -rw-r--r-- 99 bytes
.gitlab-ci.yml -rw-r--r-- 453 bytes
.ocamlformat -rw-r--r-- 398 bytes
CHANGES.md -rw-r--r-- 992 bytes
LICENSE -rw-r--r-- 1.2 KB
README.md -rw-r--r-- 1.1 KB
_CoqProject -rw-r--r-- 109 bytes
build_coq_translation.sh -rwxr-xr-x 168 bytes
data-encoding.opam -rw-r--r-- 752 bytes
dune-project -rw-r--r-- 54 bytes
dune-workspace -rw-r--r-- 16 bytes

README.md

back to top