Mentions légales du service
Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Julien Wintz
elpi
Tags
v1.13.5
v1.13.5
TASSI Enrico
@tassi
2b2b1e6e
·
builtins: prune and distinct_names
·
May 16, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Distribution v1.13.5