Commits · master · POTTIER Francois / mpri-2.4-public

Mar 20, 2025
- Do not write · f92de1c8
  Pierre-Evariste Dagand authored 6 days ago
  
  f92de1c8
- Upload exam · 3a9fa4f3
  Pierre-Evariste Dagand authored 6 days ago
  
  3a9fa4f3
Mar 10, 2025
- Clarify time and location · f4137c99
  Pierre-Évariste Dagand authored 2 weeks ago
  
  f4137c99
Feb 18, 2025
- Cours ajd. · d55955ba
  Jacques-Henri Jourdan authored 1 month ago
  
  d55955ba
Feb 11, 2025
- Template for td2 · b77ea95f
  Jacques-Henri Jourdan authored 1 month ago
  
  b77ea95f
- Cours ajd · b46d7d92
  Jacques-Henri Jourdan authored 1 month ago
  
  b46d7d92
- Cours ajd. · 1b350568
  Jacques-Henri Jourdan authored 1 month ago
  
  1b350568
Feb 03, 2025
- Cours demain · 69aa9019
  Jacques-Henri Jourdan authored 1 month ago
  
  69aa9019
- Cours demain. · 5c0151da
  Jacques-Henri Jourdan authored 1 month ago
  
  5c0151da
- Note pour le projet. · 11fdb0f6
  Jacques-Henri Jourdan authored 1 month ago
  
  11fdb0f6
- Merge branch 'master' of gitlab.inria.fr:fpottier/mpri-2.4-public · 1ef776da
  Jacques-Henri Jourdan authored 1 month ago
  
  1ef776da
- Project: minor change. · e8bdb8a5
  Jacques-Henri Jourdan authored 1 month ago
  
  e8bdb8a5
- .sh files are rejcted by CNRS's mail filter... · a63bef97
  Jacques-Henri Jourdan authored 1 month ago
  
  a63bef97
Feb 01, 2025
- Show the project deadline and the coefficients. · 246aa7f4
  POTTIER Francois authored 1 month ago
  
  246aa7f4
Jan 27, 2025
- Minor chanes to the project. · 9b372c65
  Jacques-Henri Jourdan authored 1 month ago
  
  9b372c65
Jan 21, 2025
- Project : add dep to OCaml 5.1.1 · 56cae934
  Jacques-Henri Jourdan authored 2 months ago
  
  56cae934
Jan 20, 2025
- Projet · f3f50614
  Jacques-Henri Jourdan authored 2 months ago
  
  f3f50614
- Merge branch 'master' of gitlab.inria.fr:fpottier/mpri-2.4-public · ee493dbc
  Jacques-Henri Jourdan authored 2 months ago
  
  ee493dbc
- Projet · bf7b0dbd
  Jacques-Henri Jourdan authored 2 months ago
  
  bf7b0dbd
Jan 13, 2025
- Add ref. to Clément's excellent state of the art · 501211f4
  Pierre-Évariste Dagand authored 2 months ago
  
  501211f4
Jan 07, 2025
- Reminder: bring a computer to the Monad session · 4c46eb4a
  Pierre-Évariste Dagand authored 2 months ago
  
  4c46eb4a
Jan 06, 2025
- Remove Charguéraud's internship offer (which has been taken). · 9d26922e
  POTTIER Francois authored 2 months ago
  
  9d26922e
- Whitespace. · 2bdcaf09
  POTTIER Francois authored 2 months ago
  
  2bdcaf09
- Internship offer by Leroy & Pottier. · 2212c669
  POTTIER Francois authored 2 months ago
  
  2212c669
Dec 19, 2024
- pointer to the mid-term exam with solutions · 164def40
  Gabriel Scherer authored 3 months ago
  
  164def40
- publish the partiel 2024, with solutions · 5fef0794
  Gabriel Scherer authored 3 months ago
  
  5fef0794
Dec 09, 2024
- Demain · dc7866f8
  Jacques-Henri Jourdan authored 3 months ago
  
  dc7866f8
Nov 19, 2024
- Fix some details. · b8c6cbf8
  Jacques-Henri Jourdan authored 4 months ago
  
  b8c6cbf8
- Ajd · 56794362
  Jacques-Henri Jourdan authored 4 months ago
  
  56794362
Nov 18, 2024
- Post Arthur Charguéraud's internship offer. · 9c3abb76
  POTTIER Francois authored 4 months ago
  
  9c3abb76
Nov 12, 2024
- Improved slides on CPS, with some pictures. · f88a81bc
  POTTIER Francois authored 4 months ago
  
  f88a81bc
- A small improvement in a tactic. · 169caf49
  POTTIER Francois authored 4 months ago
  
  169caf49
- Shorter (much simplified) version of the slides on CPS. · 5e67ff9e
  POTTIER Francois authored 4 months ago
  
  5e67ff9e
- Improved comments in some Coq files. · d2947182
  POTTIER Francois authored 4 months ago
  
  d2947182
- Typo. · 95fe642b
  POTTIER Francois authored 4 months ago
  
  95fe642b
Nov 11, 2024
- README. · be0d6912
  POTTIER Francois authored 4 months ago
  
  be0d6912
- Updated content of tomorrow's lecture. · 50db38f1
  POTTIER Francois authored 4 months ago
  
  50db38f1
- Update the Coq proof of type soundness for simply-typed λ-calculus. · cfc9f079
  POTTIER Francois authored 4 months ago
  
  cfc9f079
- Fixes in STLCDefinition.v. · fff06117
  POTTIER Francois authored 4 months ago
  
  fff06117
- Comments. · afa06c6a
  POTTIER Francois authored 4 months ago
  
  afa06c6a