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

Feb 07, 2022
- Remove already commented useless stuff. · 1def54d6
  François Clément authored 3 years ago
  
  1def54d6
Feb 04, 2022
- Add swap and prod_swap. · 6b945799
  François Clément authored 3 years ago
  
  6b945799
Jan 22, 2022
- Add inhabited_prod. · 940a2056
  François Clément authored 3 years ago
  
  940a2056
Jan 20, 2022
- Add results about singleton, add and prod. · d4f0092d
  François Clément authored 3 years ago
  
  d4f0092d
Jan 19, 2022
- Add singleton, add, pair. · 1ea65437
  François Clément authored 3 years ago
  
  1ea65437
Jan 18, 2022
- Unify naming: replace prime in statement names with _equiv, _alt, _rev... · 7f263440
  François Clément authored 3 years ago
  
  7f263440
- More doc. · 7b074c97
  François Clément authored 3 years ago
  
  7b074c97
Jan 13, 2022
- Cleaning + embryonic doc. · d035f253
  François Clément authored 3 years ago
  
  d035f253
Nov 29, 2021
- Signed-off-by: Francois Clement <Francois.Clement@inria.fr> · f2ccf7ec
  François Clément authored 3 years ago
  
  Add properties about diff and prod.
  f2ccf7ec
Nov 26, 2021
- Add Cartesian product and some of its properties. · 5090f012
  François Clément authored 3 years ago
  
  5090f012
Sep 07, 2021
- initial sept. 2021 · fb0ef3a3
  Micaela Mayero authored 3 years ago
  
  fb0ef3a3