diff options
Diffstat (limited to '')
-rw-r--r-- | Homeworks.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Homeworks.md b/Homeworks.md new file mode 100644 index 0000000..3a20327 --- /dev/null +++ b/Homeworks.md @@ -0,0 +1,17 @@ +# Homeworks + +Setup commands +``` +$ colima start +$ make docker-check +``` + +## Week 1 + +- [X] TestFiniteSetRepresentation +- [X] TestFiniteSetProperties +- [ ] TestFiniteMakeSetProduct +- [ ] TestFiniteMapRepresentation +- [ ] TestFiniteMapOperations +- [ ] TestFiniteSetRepresentation +- [ ] TestFiniteRelationProperties |