Name | Last commit | Last update |
---|---|---|
build | ||
theories | ||
.gitignore | ||
.gitlab-ci.yml | ||
CONTRIBUTING.md | ||
LICENSE | ||
Makefile | ||
README.md | ||
_CoqProject | ||
awk.Makefile | ||
descr | ||
opam | ||
opam.pins |
Name | Last commit | Last update |
---|---|---|
build | ||
theories | ||
.gitignore | ||
.gitlab-ci.yml | ||
CONTRIBUTING.md | ||
LICENSE | ||
Makefile | ||
README.md | ||
_CoqProject | ||
awk.Makefile | ||
descr | ||
opam | ||
opam.pins |