Commits · master · MARCON Cecile / BiCoq

Jul 17, 2025
- mp done · 2c989ceb
  MARCON Cecile authored 3 weeks ago
  
  2c989ceb
Jul 16, 2025
- simplifying pp · 91ad0ec1
  MARCON Cecile authored 4 weeks ago
  
  91ad0ec1
Jul 15, 2025
- on pp · f1b5328f
  MARCON Cecile authored 4 weeks ago
  
  f1b5328f
Jul 07, 2025
- updated bij_list · 4bade050
  MARCON Cecile authored 1 month ago
  
  4bade050
Jul 04, 2025
- bij_permut_list is bij_subset... · d24124bc
  MARCON Cecile authored 1 month ago
  
  d24124bc
Jul 02, 2025
- nothing · 497f90e0
  MARCON Cecile authored 1 month ago
  
  497f90e0
Jun 30, 2025
- simpl proofs · 4ca3770e
  MARCON Cecile authored 1 month ago
  
  4ca3770e
Jun 20, 2025
- tp cong simpl · 9de7606e
  MARCON Cecile authored 1 month ago
  
  9de7606e
Jun 18, 2025
- simpled tp left neutral proof · 977dc2df
  MARCON Cecile authored 1 month ago
  
  977dc2df
Jun 06, 2025
- bunfold tact · d1c14eb3
  MARCON Cecile authored 2 months ago
  
  d1c14eb3
- fixed myeqnat to be with no constructor removing the need for destruct or constructor all the time · f3583c54
  MARCON Cecile authored 2 months ago
  
  f3583c54
Jun 05, 2025
- fully removed switch_link · 337d7f76
  MARCON Cecile authored 2 months ago
  
  337d7f76
- changed order of link function so that switch_link is no longer needed · 333db36e
  MARCON Cecile authored 2 months ago
  
  333db36e
May 28, 2025
- tryig to simp not_is_idle_imp port part · a21af145
  MARCON Cecile authored 2 months ago
  
  a21af145
May 25, 2025
- imp and is_imp need improving · 57e3f8c3
  MARCON Cecile authored 2 months ago
  
  57e3f8c3
- refactored AGAIN se imp lse less than 100 lines now! · bd81b5b7
  MARCON Cecile authored 2 months ago
  
  bd81b5b7
- lse in a equiv · 8b60868d
  MARCON Cecile authored 2 months ago
  
  8b60868d
May 24, 2025
- lse pas trop trivial l'equivalence · d3909429
  MARCON Cecile authored 2 months ago
  
  d3909429
- raccourci seimpllse · 3f1e1051
  MARCON Cecile authored 2 months ago
  
  3f1e1051
May 22, 2025
- small changes · ae47fbb7
  MARCON Cecile authored 2 months ago
  
  ae47fbb7
- removed the subset_backward · 44aebd66
  MARCON Cecile authored 2 months ago
  
  44aebd66
- refactored se imp lse · 8305acf4
  MARCON Cecile authored 2 months ago
  
  8305acf4
May 21, 2025
- void_univ to of_void · 67167eb8
  MARCON Cecile authored 2 months ago
  
  67167eb8
- started working on decidable · 13ae25e4
  MARCON Cecile authored 2 months ago
  
  13ae25e4
May 12, 2025
- slight changes · 739e7bdf
  MARCON Cecile authored 3 months ago
  
  739e7bdf
May 08, 2025
- fixed the imports · 67ce652e
  MARCON Cecile authored 3 months ago
  
  67ce652e
- all fixed the import not include · f2906aae
  MARCON Cecile authored 3 months ago
  
  f2906aae
May 07, 2025
- fixed import on inftype and sigparam · 6a848392
  MARCON Cecile authored 3 months ago
  
  6a848392
- import names instead of include it · a5d8f406
  MARCON Cecile authored 3 months ago
  
  a5d8f406
Mar 21, 2025
- issue with flatten that does not sort · 80cbf604
  MARCON Cecile authored 4 months ago
  
  80cbf604
Mar 20, 2025
- moved on w string as a ordertype · 8087edf3
  MARCON Cecile authored 4 months ago
  
  8087edf3
Mar 18, 2025
- string done as ordertype (with admits) · f0a905f6
  MARCON Cecile authored 4 months ago
  
  f0a905f6
- before outing the proofs · ef3e24eb
  MARCON Cecile authored 4 months ago
  
  ef3e24eb
Mar 17, 2025
- string lattice in progress · eff8ca4d
  MARCON Cecile authored 4 months ago
  
  eff8ca4d
Mar 13, 2025
- string is ordered almost · 5e0fa3af
  MARCON Cecile authored 5 months ago
  
  5e0fa3af
Mar 12, 2025
- almost string is orderType · c57555fb
  MARCON Cecile authored 5 months ago
  
  c57555fb
- implemented additive monad · 2bdcb950
  MARCON Cecile authored 5 months ago
  
  2bdcb950
Mar 07, 2025
- some monad stuff before testing functions · a7e421d5
  MARCON Cecile authored 5 months ago
  
  a7e421d5
Mar 06, 2025
- monad added but maybe not so exploited · 7e1e405b
  MARCON Cecile authored 5 months ago
  
  7e1e405b
Mar 04, 2025
- commit before putting void and epsilon in pat · 85b692b6
  MARCON Cecile authored 5 months ago
  
  85b692b6