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

Feb 07, 2022
- Comment all admitted stuff (dmit -> glop). · b9b1ce78
  François Clément authored 3 years ago
  
  b9b1ce78
Jan 28, 2022
- Def swap_var and swap. · 7e382e32
  François Clément authored 3 years ago
  
  Def genUxV.
  7e382e32
Jan 20, 2022
- Fix proof of measurable_Prod_equiv. · c746faab
  François Clément authored 3 years ago
  
  c746faab
Jan 19, 2022
- New files measurable.v that will replace sigma_algebra.v. · 1906153f
  François Clément authored 3 years ago
  
  New (empty) file measurable_R.v that will replace sigma_algebra_R_Rbar.v.
  1906153f