Skip to content
GitLab

Ensure variable names do not clash with Coq keywords.

Merged Rodolphe Lepigre requested to merge ci/fix_global_names into master

This fixes the third point of #30.