R
rewriting
- R
Rework of the website around the scientific community on "Term Rewriting" http://rewriting.loria.fr/.
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Rework of the website around the scientific community on "Term Rewriting" http://rewriting.loria.fr/.