Skip to content
Snippets Groups Projects

Makefile et _CoqProject globaux

Merged Makefile et _CoqProject globaux
one_makefile into master
Merged Pierre Rousselin requested to merge one_makefile into master
  1. Sep 22, 2023
    • Pierre Rousselin's avatar
      Makefile et _CoqProject globaux · e00d0eb7
      Pierre Rousselin authored 
      - 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
      e00d0eb7