Homeworks.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# Homeworks

Setup commands
```
$ colima start
$ make docker-check
```

## Week 1

- [X] TestFiniteSetRepresentation
- [X] TestFiniteSetProperties
- [X] TestFiniteMakeSetProduct
- [ ] TestFiniteMapRepresentation
- [ ] TestFiniteMapOperations
- [ ] TestFiniteSetRepresentation
- [ ] TestFiniteRelationProperties