Commits · public · pactole / coq-pactole

Browse files

Jun 13, 2025
- Setting for a gathering with no multiplicity · c41b5397
  Lionel Rieg authored 4 months ago
  
  c41b5397
Mar 03, 2025
- Coq 8.19 is back + less warning + fix comments · 8c449616
  Lionel Rieg authored 8 months ago
  
  8c449616
Nov 22, 2024
- Compatibility with coq 8.20. · 67c4a050
  Pierre Courtieu authored 11 months ago
  67c4a050
Jun 29, 2024
- Proofs for the color bivalent to bivalent case · a12b5bdf
  Lionel Rieg authored Jun 29, 2024
  
  a12b5bdf
Jan 08, 2024
- Gathering up to round_simplify (excluded) · 8ef8a425
  Lionel Rieg authored Jan 8, 2024
  
  8ef8a425
Dec 22, 2023
- WIP: MultisetObservationInfo (any type of info) + start defineing gathering with colors. · 55552634
  Pierre Courtieu authored Dec 22, 2023
  
  55552634
Dec 13, 2023
- Porting Weber case study to coq 8.16. · e7b9451c
  Pierre Courtieu authored Dec 13, 2023
  
  e7b9451c
Aug 25, 2023
- Core setting done, but not case studies · 0bf2af55
  Lionel Rieg authored Aug 25, 2023
  
  0bf2af55
Mar 13, 2023
- Replacement of elim by contradiction · 4a68f3c1
  Sébastien Bouchard authored Mar 13, 2023
  
  4a68f3c1
Apr 01, 2022
- prod_Setoid simplifies better if anonymous · a8dc43f2
  Sébastien Bouchard authored Apr 1, 2022
  
  a8dc43f2
Mar 14, 2022
- Removal of useless premise in config_list_map · 5c3cb075
  Sébastien Bouchard authored Mar 14, 2022
  
  5c3cb075
Mar 03, 2022
- make_multiset_compat made global · 57decc3b
  Sébastien Bouchard authored Mar 3, 2022
  
  57decc3b
Jan 25, 2021
- Removing global instances from Observation definitions · ff0d0cb7
  Lionel Rieg authored Jan 19, 2021
  
  ff0d0cb7
Oct 04, 2020
- More proof using. · ea65de7b
  Pierre Courtieu authored Oct 4, 2020
  
  ea65de7b
Oct 02, 2020
- Porting to coq v8.12. Make works. · ed4f3a19
  Pierre Courtieu authored Oct 2, 2020
  
  ed4f3a19
Apr 17, 2020
- Adding Proof using annotations almost everywhere. · 6dc08b9c
  Pierre Courtieu authored Apr 16, 2020
  6dc08b9c
Feb 18, 2020
- Fixing warnings with Coq 8.10 · 245e8415
  Lionel Rieg authored Feb 18, 2020
  
  245e8415
Nov 18, 2019
- Switch to Coq 8.10 · a8ca8e48
  Lionel Rieg authored Nov 18, 2019
  
  a8ca8e48
Nov 14, 2019
- Filename changes: Robots -> Identifiers + RobotInfo -> State · f8bbf724
  Lionel Rieg authored Nov 13, 2019
  
  f8bbf724
- Relocating a small proof about equiv_dec · b40afaef
  Lionel Rieg authored Oct 30, 2019
  
  b40afaef
- Renamming spectrum into observation · 3f079cb5
  Lionel Rieg authored Oct 21, 2019
  
  3f079cb5