Commit e00d0eb7 authored 1 year ago by Pierre Rousselin

Makefile et _CoqProject globaux

- Ajout des fichiers Makefile et _CoqProject à la racine.
- Suppression des Makefile et _CoqProject des sous-répertoires.
- Ajout des dépendances dans le README.md
- Ajout de spécificateurs 'From ... Require' pour lever les ambigüités
  en cas de différents R_compl ou logic_compl
- renommage de measurable_fun-new.v en measurable_fun_new.v

parent 8ff852b4

No related branches found

No related tags found

1 merge request!2Makefile et _CoqProject globaux

Expand all Hide whitespace changes

Inline Side-by-side

Showing with 38 additions and 2953 deletions

Please register or to comment