Commits · master · Pierre Letouzey / natded

30 Mar, 2021 2 commits
- StringOrder : no need for an Hint Constructors · 72d286b4
  Pierre Letouzey authored Mar 30, 2021
  
  72d286b4
- Compat coq 8.13 (omega -> lia) · 9c31f9cc
  Pierre Letouzey authored Mar 30, 2021
  
  9c31f9cc
30 Dec, 2020 1 commit
- mention contrib PropCalc (F. v. Doorn) · 9fff058a
  Pierre Letouzey authored Dec 30, 2020
  
  9fff058a
14 Oct, 2020 1 commit
- cleanup in Nam.valid_deriv_step · e9679e64
  Pierre Letouzey authored Oct 14, 2020
  
  e9679e64
13 Oct, 2020 2 commits
- aggressive notations, again · ec7f8f1e
  Pierre Letouzey authored Oct 13, 2020
  
  ec7f8f1e
- some more aggressive experiments with Coq notations · f7734088
  Pierre Letouzey authored Oct 13, 2020
  
  f7734088
01 Oct, 2020 5 commits
- ExcludedMiddleNonJ : direct proof that EM isn't provable in LJ · 1728b23a
  Pierre Letouzey authored Aug 21, 2020
  
  1728b23a
- Pour memoire : tactique faisant unification · 39adfbe4
  Pierre Letouzey authored Aug 04, 2020
  
  39adfbe4
- Extra : recip de CurryHoward · 6e23647c
  Pierre Letouzey authored Aug 04, 2020
  
  6e23647c
- Equality : principe de Leibniz en Peano · d20e7429
  Pierre Letouzey authored Aug 04, 2020
  
  d20e7429
- Peano : predecesseur et division par 2 · e9944515
  Pierre Letouzey authored Aug 04, 2020
  
  e9944515
07 Sep, 2020 1 commit
- typo · 9b422ac8
  Pierre Letouzey authored Sep 07, 2020
  
  9b422ac8
27 Aug, 2020 1 commit
- Updated README.md (internship report) · 85fc9a85
  Pierre Letouzey authored Aug 27, 2020
  
  85fc9a85
25 Aug, 2020 1 commit
- Ajout de la version finale du rapport en pdf. · 1665ab25
  Samuel Ben Hamou authored Aug 25, 2020
  
  1665ab25
24 Aug, 2020 2 commits
- Encore des ajustements de mise en page. · 2be125bb
  Samuel Ben Hamou authored Aug 24, 2020
  
  2be125bb
- Encore des coquilles dans le rapport. · 050ba309
  Samuel Ben Hamou authored Aug 24, 2020
  
  050ba309
23 Aug, 2020 2 commits
- Peaufinage du rapport. · 282416e2
  Samuel Ben Hamou authored Aug 23, 2020
  
  282416e2
- Correction de petites fautes d'orthographe et de mise en page. · 9a1e822e
  Samuel Ben Hamou authored Aug 23, 2020
  
  9a1e822e
22 Aug, 2020 1 commit
- Correction du rapport. · 31711600
  Samuel Ben Hamou authored Aug 22, 2020
  
  31711600
17 Aug, 2020 4 commits
- [Rapport] les jeunes ne savent plus écrire · c5e8564d
  Samuel Ben Hamou authored Aug 17, 2020
  
  c5e8564d
- Menus détails formulations rapport. · c46ecb42
  Samuel Ben Hamou authored Aug 17, 2020
  
  c46ecb42
- [Rapport] En dehors de l'intro et la conclu, le "je" est haissable · 9ea7c407
  Samuel Ben Hamou authored Aug 17, 2020
  
  9ea7c407
- Ajustement des retours à la ligne (je suis maniaque). · 6d697177
  Samuel Ben Hamou authored Aug 17, 2020
  
  6d697177
16 Aug, 2020 6 commits
- Seconde tentative mise en page rapport. · 58764d91
  Samuel Ben Hamou authored Aug 16, 2020
  
  58764d91
- Modification mise en page rapport. · 8345d236
  Samuel Ben Hamou authored Aug 16, 2020
  
  8345d236
- Rédaction conclusion rapport. · 042fecc2
  Samuel Ben Hamou authored Aug 16, 2020
  
  042fecc2
- Rédaction section lambda calcul rapport. · 76d59e14
  Samuel Ben Hamou authored Aug 16, 2020
  
  76d59e14
- Correction espacement toc rapport · a7c161cb
  Samuel Ben Hamou authored Aug 16, 2020
  
  a7c161cb
- Début section lambda calcul. · ef178260
  Samuel Ben Hamou authored Aug 16, 2020
  
  ef178260
15 Aug, 2020 1 commit
- Rédaction de la section sur ZF. · 63f23f9d
  Samuel Ben Hamou authored Aug 15, 2020
  
  63f23f9d
11 Aug, 2020 1 commit
- Mise à jour partie Peano rapport. · 1613b664
  Samuel Ben Hamou authored Aug 11, 2020
  
  1613b664
05 Aug, 2020 7 commits
- updated TODO list · c70ef5ee
  Pierre Letouzey authored Aug 05, 2020
  
  c70ef5ee
- Compat with Coq 8.8 · 8ba734aa
  Pierre Letouzey authored Aug 05, 2020
  
  8ba734aa
- README : talk link · e39352ce
  Pierre Letouzey authored Aug 05, 2020
  
  e39352ce
- Updated README and copyright notices · b5fb05c6
  Pierre Letouzey authored Aug 05, 2020
  
  b5fb05c6
- Mix : height of term and formula (disseminated elsewhere earlier) · 65eabe25
  Pierre Letouzey authored Aug 05, 2020
  
  65eabe25
- Toolbox: some more about bsubst and level · 69ef3de6
  Pierre Letouzey authored Aug 05, 2020
  
  69ef3de6
- Toolbox.v : split Meta.v in half, all basic properties now in this new file · 61fd1f69
  Pierre Letouzey authored Aug 05, 2020
  
  61fd1f69
04 Aug, 2020 2 commits
- Collect several Pr proofs in ProofExamples.v · 35cb1ae6
  Pierre Letouzey authored Aug 04, 2020
  
  35cb1ae6
- cleanup in Nary and Skolem · 312b061d
  Pierre Letouzey authored Aug 04, 2020
  
  312b061d