| Name | Last commit | Last update |
|---|---|---|
| extract | ||
| theories | ||
| .git-blame-ignore-revs | ||
| .gitignore | ||
| ARTIFACT-TODO.md | ||
| Dockerfile | ||
| LICENSE | ||
| README.md | ||
| _CoqConfig | ||
| _CoqProject | ||
| coq-itree-ai.opam | ||
| dune-project |
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
| Name | Last commit | Last update |
|---|---|---|
| extract | ||
| theories | ||
| .git-blame-ignore-revs | ||
| .gitignore | ||
| ARTIFACT-TODO.md | ||
| Dockerfile | ||
| LICENSE | ||
| README.md | ||
| _CoqConfig | ||
| _CoqProject | ||
| coq-itree-ai.opam | ||
| dune-project |