Commits · master · Samuel Mimram / proofs-algorithms

Jun 06, 2025
- qdfqs · 1d000e4b
  Olivier Bournez authored 4 hours ago
  
  1d000e4b
- sfwdf · bb99071b
  Olivier Bournez authored 4 hours ago
  
  bb99071b
- Titre correct · 2fc935a4
  Olivier Bournez authored 4 hours ago
  
  2fc935a4
- date · 0af1e038
  Olivier Bournez authored 4 hours ago
  
  0af1e038
- Seminar Cristobal 13/6 · eff7c9f4
  Olivier Bournez authored 4 hours ago
  
  eff7c9f4
- syntax prob · f84a26b3
  Bernardo Hummes authored 5 hours ago
  
  f84a26b3
- tcs yorgo · 8890baf5
  Bernardo Hummes authored 5 hours ago
  
  8890baf5
Jun 03, 2025
- séminaire alco · e7c29d1c
  Manon Blanc authored 3 days ago
  
  e7c29d1c
- séminaire alco · a77cca02
  Manon Blanc authored 3 days ago
  
  a77cca02
May 22, 2025
- Espaces. · 7258341b
  Samuel Mimram authored 2 weeks ago
  
  7258341b
May 21, 2025
- Fix. · da4f840a
  Samuel Mimram authored 2 weeks ago
  
  da4f840a
- Updated website. · ad103a1c
  Samuel Mimram authored 2 weeks ago
  
  ad103a1c
- Back with rsync. · 5e4f95a9
  Samuel Mimram authored 2 weeks ago
  
  5e4f95a9
- Restore. · da022ffd
  Samuel Mimram authored 2 weeks ago
  
  da022ffd
- Nicer. · eb55a417
  Samuel Mimram authored 2 weeks ago
  
  eb55a417
- Revert "Try this." · 5619930f
  Samuel Mimram authored 2 weeks ago
  5619930f
- Try this. · 891d1cac
  Samuel Mimram authored 2 weeks ago
  
  891d1cac
- More PhIQuS. · 55fd8f19
  Samuel Mimram authored 2 weeks ago
  
  55fd8f19
- Remove alco. · 9f89c4f2
  Samuel Mimram authored 2 weeks ago
  
  9f89c4f2
- Remove tweet. · 613e9911
  Samuel Mimram authored 2 weeks ago
  
  613e9911
- Remove alco specifics. · 8b922d6d
  Samuel Mimram authored 2 weeks ago
  
  8b922d6d
- By alco, welcome PhIQuS. · 5ac66a95
  Samuel Mimram authored 2 weeks ago
  
  5ac66a95
- Don't update for now. · 91e3ddf5
  Samuel Mimram authored 2 weeks ago
  
  91e3ddf5
- Fix python3 usage. · b18a5be3
  Samuel Mimram authored 2 weeks ago
  
  b18a5be3
- Cosmetic. · cf9ec5d6
  Samuel Mimram authored 2 weeks ago
  
  cf9ec5d6
- python3. · 92bdb651
  Samuel Mimram authored 2 weeks ago
  
  92bdb651
- need make. · 9e0258c2
  Samuel Mimram authored 2 weeks ago
  
  9e0258c2
- double install · 48721254
  Samuel Mimram authored 2 weeks ago
  
  48721254
- Use python3. · fdabe272
  Samuel Mimram authored 2 weeks ago
  
  fdabe272
- Fix image. · ff33364b
  Samuel Mimram authored 2 weeks ago
  
  ff33364b
- Try using generic runner. · b0199b78
  Samuel Mimram authored 2 weeks ago
  
  b0199b78
May 19, 2025
- tcs ryuya and nicolas · 26849b22
  Bernardo Hummes authored 2 weeks ago
  
  26849b22
May 15, 2025
- tcs ryuya · b26cef94
  Bernardo Hummes authored 3 weeks ago
  
  b26cef94
- tcs ryuya · abd839c7
  Bernardo Hummes authored 3 weeks ago
  
  abd839c7
Apr 07, 2025
- van gool · 8391a0f7
  Noam Zeilberger authored 1 month ago
  
  8391a0f7
Mar 26, 2025
- seminar alco · ea62e912
  Manon Blanc authored 2 months ago
  
  ea62e912
- seminar alco · b6ece976
  Manon Blanc authored 2 months ago
  
  b6ece976
Mar 25, 2025
- moved sam talk · e78c9fc0
  Noam Zeilberger authored 2 months ago
  
  e78c9fc0
Mar 21, 2025
- typo · 5970acde
  Noam Zeilberger authored 2 months ago
  
  5970acde
- fix · 8f4dd53d
  Noam Zeilberger authored 2 months ago
  
  8f4dd53d

Admin message