Commits · Tonelli.1.0 · Micaela Mayero / Numerical Analysis in Coq

Feb 07, 2022
- Remove spurious whites. · ad20240b
  François Clément authored 3 years ago
  
  ad20240b
- Comment all admitted stuff (dmit -> glop). · b9b1ce78
  François Clément authored 3 years ago
  
  b9b1ce78
Jan 19, 2022
- Replace use of subset_compl for charac by Subset_charac. · 1ef4ebf3
  François Clément authored 3 years ago
  
  1ef4ebf3
Jan 18, 2022
- Naming: *non_neg* -> *nonneg*. · b462d2ba
  François Clément authored 3 years ago
  
  b462d2ba
Dec 17, 2021
- dmit -> glop. · b3ee6487
  François Clément authored 3 years ago
  
  Comment lemmas using not yet proved results.
  b3ee6487
Oct 28, 2021
- Revert "Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-analysis" · bf09a470
  François Clément authored 3 years ago
  
  This reverts commit ab8689c9, reversing changes made to eb9897ee.
  bf09a470
Oct 26, 2021
- sigma_algebra_R_Rbar.v -> sigma_algebra_R_Rbar-old.v · 4c03ae3e
  François Clément authored 3 years ago
  
  sigma_algebra_R_Rbar_new.v -> sigma_algebra_R_Rbar.v
  4c03ae3e
Sep 28, 2021
- Réunion du 27/09/2021 · 4865fae2
  Sylvie Boldo authored 3 years ago
  
  4865fae2
Sep 07, 2021
- initial sept. 2021 · fb0ef3a3
  Micaela Mayero authored 3 years ago
  
  fb0ef3a3