11 Jul, 2025

1 commit

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

  2025-07-11 16:18:31 +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