Skip to content

Ensure variable names do not clash with Coq keywords.

Rodolphe Lepigre requested to merge ci/fix_global_names into master

This fixes the third point of #30.

Merge request reports