Closed toni5rovic closed 4 months ago
Note: NPFL087 SMT class homework
Adding Antonije's translations.
Note: NPFL087 SMT class homework