Commits · master · Samuel Mimram / proofs-algorithms

Jun 13, 2025
- cristian · 6f9b165c
  Noam Zeilberger authored 6 days ago
  
  6f9b165c
Jun 12, 2025
- Merge branch 'master' of https://gitlab.inria.fr/smimram/proofs-algorithms · 52c39839
  Bernardo Hummes authored 1 week ago
  
  52c39839
- room tcs yorgo · cceb26eb
  Bernardo Hummes authored 1 week ago
  
  cceb26eb
Jun 11, 2025
- seminaire 10 juillet · f92fddfe
  Manon Blanc authored 1 week ago
  
  f92fddfe
- seminaire 10 juillet · ff5a0360
  Manon Blanc authored 1 week ago
  
  ff5a0360
- seminaire 10 juillet · 2cbee9a6
  Manon Blanc authored 1 week ago
  
  2cbee9a6
- seminaire 10 juillet · 77a23e78
  Manon Blanc authored 1 week ago
  
  77a23e78
- seminaire 10 juillet · c48cfa9a
  Manon Blanc authored 1 week ago
  
  c48cfa9a
Jun 08, 2025
- seminar update · a37191dc
  Olivier Bournez authored 1 week ago
  
  a37191dc
- seminar · a0da2de5
  Manon Blanc authored 1 week ago
  
  a0da2de5
- seminar · 7b26d4e9
  Manon Blanc authored 1 week ago
  
  7b26d4e9
Jun 06, 2025
- qdfqs · 1d000e4b
  Olivier Bournez authored 1 week ago
  
  1d000e4b
- sfwdf · bb99071b
  Olivier Bournez authored 1 week ago
  
  bb99071b
- Titre correct · 2fc935a4
  Olivier Bournez authored 1 week ago
  
  2fc935a4
- date · 0af1e038
  Olivier Bournez authored 1 week ago
  
  0af1e038
- Seminar Cristobal 13/6 · eff7c9f4
  Olivier Bournez authored 1 week ago
  
  eff7c9f4
- syntax prob · f84a26b3
  Bernardo Hummes authored 1 week ago
  
  f84a26b3
- tcs yorgo · 8890baf5
  Bernardo Hummes authored 1 week ago
  
  8890baf5
Jun 03, 2025
- séminaire alco · e7c29d1c
  Manon Blanc authored 2 weeks ago
  
  e7c29d1c
- séminaire alco · a77cca02
  Manon Blanc authored 2 weeks ago
  
  a77cca02
May 22, 2025
- Espaces. · 7258341b
  Samuel Mimram authored 4 weeks ago
  
  7258341b
May 21, 2025
- Fix. · da4f840a
  Samuel Mimram authored 4 weeks ago
  
  da4f840a
- Updated website. · ad103a1c
  Samuel Mimram authored 4 weeks ago
  
  ad103a1c
- Back with rsync. · 5e4f95a9
  Samuel Mimram authored 4 weeks ago
  
  5e4f95a9
- Restore. · da022ffd
  Samuel Mimram authored 4 weeks ago
  
  da022ffd
- Nicer. · eb55a417
  Samuel Mimram authored 4 weeks ago
  
  eb55a417
- Revert "Try this." · 5619930f
  Samuel Mimram authored 4 weeks ago
  5619930f
- Try this. · 891d1cac
  Samuel Mimram authored 4 weeks ago
  
  891d1cac
- More PhIQuS. · 55fd8f19
  Samuel Mimram authored 4 weeks ago
  
  55fd8f19
- Remove alco. · 9f89c4f2
  Samuel Mimram authored 4 weeks ago
  
  9f89c4f2
- Remove tweet. · 613e9911
  Samuel Mimram authored 4 weeks ago
  
  613e9911
- Remove alco specifics. · 8b922d6d
  Samuel Mimram authored 4 weeks ago
  
  8b922d6d
- By alco, welcome PhIQuS. · 5ac66a95
  Samuel Mimram authored 4 weeks ago
  
  5ac66a95
- Don't update for now. · 91e3ddf5
  Samuel Mimram authored 4 weeks ago
  
  91e3ddf5
- Fix python3 usage. · b18a5be3
  Samuel Mimram authored 4 weeks ago
  
  b18a5be3
- Cosmetic. · cf9ec5d6
  Samuel Mimram authored 4 weeks ago
  
  cf9ec5d6
- python3. · 92bdb651
  Samuel Mimram authored 4 weeks ago
  
  92bdb651
- need make. · 9e0258c2
  Samuel Mimram authored 4 weeks ago
  
  9e0258c2
- double install · 48721254
  Samuel Mimram authored 4 weeks ago
  
  48721254
- Use python3. · fdabe272
  Samuel Mimram authored 4 weeks ago
  
  fdabe272

Admin message