12 Jul, 2025

1 commit

• b750bfd9f   version all ok, corrections to do in general conclusion... Browse Code »
  dsotofor

  2025-07-12 00:54:02 +0200  

11 Jul, 2025

2 commits

• 9a7279182   version all ok, corrections to do in general conclusion... Browse Code »
  dsotofor

  2025-07-11 22:44:40 +0200  
• d9c18d083   version correct to chapter 7, terms unification... Browse Code »
  dsotofor

  2025-07-11 16:18:31 +0200  

10 Jul, 2025

3 commits

• f0def7d1d   version correct to chapter 7, terms unification... Browse Code »
  dsotofor

  2025-07-10 20:54:03 +0200  
• 6e5c63641   version correct to chapter 7, terms unification... Browse Code »
  dsotofor

  2025-07-10 13:09:20 +0200  
• 112941e4b   version correct to chapter 6 and chapter 7 in evaluation Browse Code »
  dsotofor

  2025-07-10 11:04:42 +0200  

07 Jul, 2025

1 commit

• a36ba24ea   version correct to chapter 6 and chapter 7 in evaluation Browse Code »
  dsotofor

  2025-07-07 16:37:47 +0200  

06 Jul, 2025

1 commit

• 51a0e4e7a   version correct to chapter 6 and chapter 7 in evaluation Browse Code »
  dsotofor

  2025-07-06 17:23:33 +0200  

05 Jul, 2025

1 commit

• 9486a07a1   version correct to chapter 6 and chapter 7 in evaluation Browse Code »
  dsotofor

  2025-07-05 23:32:31 +0200  

03 Jul, 2025

1 commit

• 4b86a3c77   version correct to chapter 5 and corrections to do in chapter 6 Browse Code »
  dsotofor

  2025-07-03 21:45:38 +0200  

27 Jun, 2025

4 commits

• e2677c316   version correct to chapter 5 and corrections to do in chapter 6 Browse Code »
  dsotofor

  2025-06-27 23:31:04 +0200  
• 5f3c57c84   version correct to chapter 5 and corrections to do in chapter 6 Browse Code »
  dsotofor

  2025-06-27 23:28:08 +0200  
• 6769ad655   version correct to chapter 5 and corrections to do in chapter 6 Browse Code »
  dsotofor

  2025-06-27 22:45:16 +0200  
• 605eb2f66   version correct to chapter 5 and corrections to do in chapter 6 Browse Code »
  dsotofor

  2025-06-27 14:18:10 +0200  

20 May, 2025

1 commit

• 25f8334f7   another version Browse Code »
  dsotofor

  2025-05-20 15:55:26 +0200  

24 Apr, 2025

1 commit

• 2e662ed51   another version Browse Code »
  dsotofor

  2025-04-24 21:58:58 +0200