Commits · master · Samuel Mimram / proofs-algorithms

Jul 07, 2025
- abstract · e121e834
  Bernardo Hummes authored 4 weeks ago
  
  e121e834
- quotes · c6329cc0
  Bernardo Hummes authored 4 weeks ago
  
  c6329cc0
- fix · df058e0c
  Bernardo Hummes authored 4 weeks ago
  
  df058e0c
- pa patrick massot · 0e79dad2
  Bernardo Hummes authored 4 weeks ago
  
  0e79dad2
Jul 03, 2025
- modified: _data/seminar.yml · 71364871
  Miki Hermann authored 1 month ago
  
  71364871
Jul 02, 2025
- update · c0bf51f4
  Olivier Bournez authored 1 month ago
  
  c0bf51f4
Jun 24, 2025
- fix quotes · 0bc64486
  Noam Zeilberger authored 1 month ago
  
  0bc64486
- cristian data · c49b1796
  Noam Zeilberger authored 1 month ago
  
  c49b1796
Jun 13, 2025
- cristian · 6f9b165c
  Noam Zeilberger authored 1 month ago
  
  6f9b165c
Jun 12, 2025
- Merge branch 'master' of https://gitlab.inria.fr/smimram/proofs-algorithms · 52c39839
  Bernardo Hummes authored 1 month ago
  
  52c39839
- room tcs yorgo · cceb26eb
  Bernardo Hummes authored 1 month ago
  
  cceb26eb
Jun 11, 2025
- seminaire 10 juillet · f92fddfe
  Manon Blanc authored 1 month ago
  
  f92fddfe
- seminaire 10 juillet · ff5a0360
  Manon Blanc authored 1 month ago
  
  ff5a0360
- seminaire 10 juillet · 2cbee9a6
  Manon Blanc authored 1 month ago
  
  2cbee9a6
- seminaire 10 juillet · 77a23e78
  Manon Blanc authored 1 month ago
  
  77a23e78
- seminaire 10 juillet · c48cfa9a
  Manon Blanc authored 1 month ago
  
  c48cfa9a
Jun 08, 2025
- seminar update · a37191dc
  Olivier Bournez authored 1 month ago
  
  a37191dc
- seminar · a0da2de5
  Manon Blanc authored 1 month ago
  
  a0da2de5
- seminar · 7b26d4e9
  Manon Blanc authored 1 month ago
  
  7b26d4e9
Jun 06, 2025
- qdfqs · 1d000e4b
  Olivier Bournez authored 1 month ago
  
  1d000e4b
- sfwdf · bb99071b
  Olivier Bournez authored 1 month ago
  
  bb99071b
- Titre correct · 2fc935a4
  Olivier Bournez authored 1 month ago
  
  2fc935a4
- date · 0af1e038
  Olivier Bournez authored 1 month ago
  
  0af1e038
- Seminar Cristobal 13/6 · eff7c9f4
  Olivier Bournez authored 1 month ago
  
  eff7c9f4
- syntax prob · f84a26b3
  Bernardo Hummes authored 1 month ago
  
  f84a26b3
- tcs yorgo · 8890baf5
  Bernardo Hummes authored 1 month ago
  
  8890baf5
Jun 03, 2025
- séminaire alco · e7c29d1c
  Manon Blanc authored 2 months ago
  
  e7c29d1c
- séminaire alco · a77cca02
  Manon Blanc authored 2 months ago
  
  a77cca02
May 22, 2025
- Espaces. · 7258341b
  Samuel Mimram authored 2 months ago
  
  7258341b
May 21, 2025
- Fix. · da4f840a
  Samuel Mimram authored 2 months ago
  
  da4f840a
- Updated website. · ad103a1c
  Samuel Mimram authored 2 months ago
  
  ad103a1c
- Back with rsync. · 5e4f95a9
  Samuel Mimram authored 2 months ago
  
  5e4f95a9
- Restore. · da022ffd
  Samuel Mimram authored 2 months ago
  
  da022ffd
- Nicer. · eb55a417
  Samuel Mimram authored 2 months ago
  
  eb55a417
- Revert "Try this." · 5619930f
  Samuel Mimram authored 2 months ago
  5619930f
- Try this. · 891d1cac
  Samuel Mimram authored 2 months ago
  
  891d1cac
- More PhIQuS. · 55fd8f19
  Samuel Mimram authored 2 months ago
  
  55fd8f19
- Remove alco. · 9f89c4f2
  Samuel Mimram authored 2 months ago
  
  9f89c4f2
- Remove tweet. · 613e9911
  Samuel Mimram authored 2 months ago
  
  613e9911
- Remove alco specifics. · 8b922d6d
  Samuel Mimram authored 2 months ago
  
  8b922d6d