Commits · b18a5be33f94a225121eb37577b8f1a82e669800 · Samuel Mimram / proofs-algorithms

May 21, 2025
- Fix python3 usage. · b18a5be3
  Samuel Mimram authored 2 months ago
  
  b18a5be3
- Cosmetic. · cf9ec5d6
  Samuel Mimram authored 2 months ago
  
  cf9ec5d6
- python3. · 92bdb651
  Samuel Mimram authored 2 months ago
  
  92bdb651
Sep 18, 2024
- Revert "trying to update script to Python 3" · e8a26e08
  Noam Zeilberger authored 10 months ago
  e8a26e08
- trying to update script to Python 3 · 1f783bd7
  Noam Zeilberger authored 10 months ago
  
  1f783bd7
Sep 29, 2023
- word choice seminar announcements · c3d4f3ad
  Noam Zeilberger authored 1 year ago
  
  c3d4f3ad
- word choice seminar announcements · 3c7d4f36
  Noam Zeilberger authored 1 year ago
  
  3c7d4f36
Sep 19, 2023
- Try this locale. · fba57350
  Samuel Mimram authored 1 year ago
  
  fba57350
- Try this locale. · 7ed873ec
  Samuel Mimram authored 1 year ago
  
  7ed873ec
Jun 07, 2023
- correction bug python · 65f74b99
  Olivier Bournez authored 2 years ago
  
  65f74b99
- correction bug python · 502b2ee0
  Olivier Bournez authored 2 years ago
  
  502b2ee0
Oct 07, 2022
- bug correction · 59c32448
  Olivier Bournez authored 2 years ago
  
  59c32448
- bug correction · 9d0c192c
  Olivier Bournez authored 2 years ago
  
  9d0c192c
- Hack alco · 47236d73
  Olivier Bournez authored 2 years ago
  
  47236d73
- Hack alco · 349420a5
  Olivier Bournez authored 2 years ago
  
  349420a5
- Voir prochain exposé · a2753146
  Olivier Bournez authored 2 years ago
  
  a2753146
- Voir prochain exposé · b7a705cc
  Olivier Bournez authored 2 years ago
  
  b7a705cc
Mar 18, 2022
- Fix. · dc00ceb0
  Samuel Mimram authored 3 years ago
  
  dc00ceb0
- Fix. · b8cd8aae
  Samuel Mimram authored 3 years ago
  
  b8cd8aae
- Team. · a4bde171
  Samuel Mimram authored 3 years ago
  
  a4bde171
- Restore. · 26235354
  Samuel Mimram authored 3 years ago
  
  26235354
Feb 19, 2022
- Encore · 11454a1b
  Olivier Bournez authored 3 years ago
  
  11454a1b
Apr 06, 2021
- Get ready for teams. · 8227d977
  Samuel Mimram authored 4 years ago
  
  8227d977
- Don't duplicate data. · 962dcc59
  Samuel Mimram authored 4 years ago
  
  962dcc59
Mar 11, 2021
- Tweets · da709a23
  Olivier Bournez authored 4 years ago
  
  da709a23
- Tweets · 13dda76f
  Olivier Bournez authored 4 years ago
  
  13dda76f
- Tweet + Mail par équipe (plus the next, but a next) · fc038d0e
  Olivier Bournez authored 4 years ago
  
  fc038d0e
- test · cd96bca6
  Olivier Bournez authored 4 years ago
  
  cd96bca6
Mar 10, 2021
- Test tweet · f87238da
  Olivier Bournez authored 4 years ago
  
  f87238da
Feb 15, 2021
- Updated website. · 0fc40efd
  Samuel Mimram authored 4 years ago
  
  0fc40efd
Feb 09, 2021
- Updated website. · 06bba706
  Samuel Mimram authored 4 years ago
  
  06bba706
- Updated website. · 7918628d
  Samuel Mimram authored 4 years ago
  
  7918628d
- Updated website. · 7b0ab6af
  Samuel Mimram authored 4 years ago
  
  7b0ab6af
- Updated website. · 29b1b8f0
  Samuel Mimram authored 4 years ago
  
  29b1b8f0
Feb 05, 2021
- Updated website. · b096766d
  Samuel Mimram authored 4 years ago
  
  b096766d
- Updated website. · 1f3e8a8e
  Samuel Mimram authored 4 years ago
  
  1f3e8a8e
Feb 04, 2021
- Updated website. · 90e4def4
  Samuel Mimram authored 4 years ago
  
  90e4def4
- Updated website. · be4c5c36
  Samuel Mimram authored 4 years ago
  
  be4c5c36
- Updated website. · 1bac4b04
  Samuel Mimram authored 4 years ago
  
  1bac4b04
- Updated website. · 227e2d70
  Samuel Mimram authored 4 years ago
  
  227e2d70