Commits · master · Antonio Bucciarelli / problambda

27 May, 2021 5 commits
- se · e54f9aac
  Antonio Bucciarelli authored May 27, 2021
  
  e54f9aac
- se · cafa32fd
  Antonio Bucciarelli authored May 27, 2021
  
  cafa32fd
- subject exp. · cf76938d
  Simona Ronchi della Rocca authored May 27, 2021
  
  cf76938d
- se · f61b117f
  Antonio Bucciarelli authored May 27, 2021
  
  f61b117f
- se · a4553300
  Antonio Bucciarelli authored May 27, 2021
  
  a4553300
26 May, 2021 2 commits
- se · fce27fa8
  Antonio Bucciarelli authored May 26, 2021
  
  fce27fa8
- expansion · d6ebc976
  Simona Ronchi della Rocca authored May 26, 2021
  
  d6ebc976
25 May, 2021 1 commit
- popl · f491ad3f
  Antonio Bucciarelli authored May 25, 2021
  
  f491ad3f
24 May, 2021 2 commits
- draft · 59ff8345
  Antonio Bucciarelli authored May 24, 2021
  
  59ff8345
- draft · d431281d
  Antonio Bucciarelli authored May 24, 2021
  
  d431281d
23 May, 2021 1 commit
- approx · 26a99262
  Antonio Bucciarelli authored May 23, 2021
  
  26a99262
22 May, 2021 1 commit
- approx · 11e85e5b
  Simona Ronchi Della Rocca authored May 22, 2021
  
  11e85e5b
17 May, 2021 4 commits
- papers · 2f6d2e00
  Antonio Bucciarelli authored May 17, 2021
  
  2f6d2e00
- macro · f094bf84
  Simona Ronchi della Rocca authored May 17, 2021
  
  f094bf84
- aggiunto model · b0cf437f
  Simona Ronchi della Rocca authored May 17, 2021
  
  b0cf437f
- aggiunto model · 32245691
  Simona Ronchi della Rocca authored May 17, 2021
  
  32245691
15 May, 2021 1 commit
- macros · 065ca7a7
  Antonio Bucciarelli authored May 15, 2021
  
  065ca7a7
14 May, 2021 1 commit
- macros · 980e8652
  Antonio Bucciarelli authored May 14, 2021
  
  980e8652
13 May, 2021 1 commit
- piccolo aggiornamento · a9d7143b
  Simona Ronchi della Rocca authored May 13, 2021
  
  a9d7143b
11 May, 2021 2 commits
- aggiornato macros · 5ee0c24e
  Simona Ronchi della Rocca authored May 11, 2021
  
  5ee0c24e
- draft.tex · b8927bf7
  ronchi authored May 11, 2021
  
  b8927bf7
07 May, 2021 1 commit
- fig · 5a2ea995
  Antonio Bucciarelli authored May 07, 2021
  
  5a2ea995
06 May, 2021 6 commits
- file pour preuve formes normales · cfe44f5f
  Delia Kesner authored May 06, 2021
  
  cfe44f5f
- file appendix · c0237f0e
  Delia Kesner authored May 06, 2021
  
  c0237f0e
- cambio color · 08e1170c
  Delia Kesner authored May 06, 2021
  
  08e1170c
- main · 27cfa222
  Antonio Bucciarelli authored May 06, 2021
  
  27cfa222
- main · c26136b8
  Antonio Bucciarelli authored May 06, 2021
  
  c26136b8
- cambio a reglas multiplicativas · 176fde1a
  Delia Kesner authored May 06, 2021
  
  176fde1a
04 May, 2021 1 commit
- test file · 928470ee
  Delia Kesner authored May 04, 2021
  
  928470ee
18 Mar, 2021 1 commit
- problammbda · 83b657cf
  Antonio Bucciarelli authored Mar 18, 2021
  
  83b657cf
05 Mar, 2021 2 commits
- first · 51801004
  Antonio Bucciarelli authored Mar 05, 2021
  
  51801004
- Initial commit · 26c07c11
  Antonio Bucciarelli authored Mar 05, 2021
  
  26c07c11