Commits · master · Samuel Mimram / proofs-algorithms

May 22, 2025
- Espaces. · 7258341b
  Samuel Mimram authored 1 day ago
  
  7258341b
May 21, 2025
- Fix. · da4f840a
  Samuel Mimram authored 2 days ago
  
  da4f840a
- Updated website. · ad103a1c
  Samuel Mimram authored 2 days ago
  
  ad103a1c
- Back with rsync. · 5e4f95a9
  Samuel Mimram authored 2 days ago
  
  5e4f95a9
- Restore. · da022ffd
  Samuel Mimram authored 2 days ago
  
  da022ffd
- Nicer. · eb55a417
  Samuel Mimram authored 2 days ago
  
  eb55a417
- Revert "Try this." · 5619930f
  Samuel Mimram authored 2 days ago
  5619930f
- Try this. · 891d1cac
  Samuel Mimram authored 2 days ago
  
  891d1cac
- More PhIQuS. · 55fd8f19
  Samuel Mimram authored 2 days ago
  
  55fd8f19
- Remove alco. · 9f89c4f2
  Samuel Mimram authored 2 days ago
  
  9f89c4f2
- Remove tweet. · 613e9911
  Samuel Mimram authored 2 days ago
  
  613e9911
- Remove alco specifics. · 8b922d6d
  Samuel Mimram authored 2 days ago
  
  8b922d6d
- By alco, welcome PhIQuS. · 5ac66a95
  Samuel Mimram authored 2 days ago
  
  5ac66a95
- Don't update for now. · 91e3ddf5
  Samuel Mimram authored 2 days ago
  
  91e3ddf5
- Fix python3 usage. · b18a5be3
  Samuel Mimram authored 2 days ago
  
  b18a5be3
- Cosmetic. · cf9ec5d6
  Samuel Mimram authored 2 days ago
  
  cf9ec5d6
- python3. · 92bdb651
  Samuel Mimram authored 2 days ago
  
  92bdb651
- need make. · 9e0258c2
  Samuel Mimram authored 2 days ago
  
  9e0258c2
- double install · 48721254
  Samuel Mimram authored 2 days ago
  
  48721254
- Use python3. · fdabe272
  Samuel Mimram authored 2 days ago
  
  fdabe272
- Fix image. · ff33364b
  Samuel Mimram authored 2 days ago
  
  ff33364b
- Try using generic runner. · b0199b78
  Samuel Mimram authored 2 days ago
  
  b0199b78
May 19, 2025
- tcs ryuya and nicolas · 26849b22
  Bernardo Hummes authored 4 days ago
  
  26849b22
May 15, 2025
- tcs ryuya · b26cef94
  Bernardo Hummes authored 1 week ago
  
  b26cef94
- tcs ryuya · abd839c7
  Bernardo Hummes authored 1 week ago
  
  abd839c7
Apr 07, 2025
- van gool · 8391a0f7
  Noam Zeilberger authored 1 month ago
  
  8391a0f7
Mar 26, 2025
- seminar alco · ea62e912
  Manon Blanc authored 1 month ago
  
  ea62e912
- seminar alco · b6ece976
  Manon Blanc authored 1 month ago
  
  b6ece976
Mar 25, 2025
- moved sam talk · e78c9fc0
  Noam Zeilberger authored 1 month ago
  
  e78c9fc0
Mar 21, 2025
- typo · 5970acde
  Noam Zeilberger authored 2 months ago
  
  5970acde
- fix · 8f4dd53d
  Noam Zeilberger authored 2 months ago
  
  8f4dd53d
- niyousha · 36f21b41
  Noam Zeilberger authored 2 months ago
  
  36f21b41
- niyousha · 0d0fb2ec
  Noam Zeilberger authored 2 months ago
  
  0d0fb2ec
Mar 20, 2025
- pa ander · 8f96c173
  Bernardo Hummes authored 2 months ago
  
  8f96c173
- pa ander · c64d92e4
  Bernardo Hummes authored 2 months ago
  
  c64d92e4
Mar 16, 2025
- pa ander · 96ee95c6
  Bernardo Hummes authored 2 months ago
  
  96ee95c6
- pa ander · 1f537c11
  Bernardo Hummes authored 2 months ago
  
  1f537c11
- pa ander · a775aade
  Bernardo Hummes authored 2 months ago
  
  a775aade
- pa ander · 1cebaf5a
  Bernardo Hummes authored 2 months ago
  
  1cebaf5a
- pa ander · 197addf7
  Bernardo Hummes authored 2 months ago
  
  197addf7

Admin message