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

Project 'mayero/coq-num-analysis' was moved to 'mayero/rocq-num-analysis'. Please update any links and bookmarks that may still have the old path.

Feb 07, 2022
- Remove already commented useless stuff. · 1def54d6
  François Clément authored 3 years ago
  
  1def54d6
Jan 19, 2022
- Add empty_union_{finite,seq}, union_{finite,seq}_full, and · b8533a78
  François Clément authored 3 years ago
  b8533a78
Jan 18, 2022
- Unify naming: replace prime in statement names with _equiv, _alt, _rev... · 7f263440
  François Clément authored 3 years ago
  
  7f263440
Jan 13, 2022
- Embryonic doc. · 7ce2d2d0
  François Clément authored 3 years ago
  
  7ce2d2d0
Dec 17, 2021
- dmit -> glop. · b3ee6487
  François Clément authored 3 years ago
  b3ee6487
Dec 08, 2021
- Extract properties on natural numbers into nat_compl.v. · 954ec1b9
  François Clément authored 3 years ago
  
  954ec1b9
Dec 06, 2021
- Doc. · 2dafb4fe
  François Clément authored 3 years ago
  
  2dafb4fe
Sep 07, 2021
- initial sept. 2021 · fb0ef3a3
  Micaela Mayero authored 3 years ago
  
  fb0ef3a3