summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions (follow)
Commit message (Expand)AuthorAgeFilesLines
* Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, TestFiniteR...Nao Pross2023-10-172-8/+102
* Pass TestFiniteMapRepresentation and TestFiniteMapOperationsNao Pross2023-10-172-16/+48
* Sketch TestFiniteMapRepresentationNao Pross2023-10-103-8/+69
* Implement loading of set products in SolFiniteSetRepresentationNao Pross2023-10-101-7/+27
* Pass TestFiniteMakeSetProductNao Pross2023-10-101-4/+74
* Pass TestFiniteSetPropertiesNao Pross2023-10-041-1/+7
* Pass TestFiniteSetRepresentationNao Pross2023-10-041-3/+36
* Pass TestSimpleIntroNao Pross2023-10-041-1/+1
* Initial commitgithub-classroom[bot]2023-10-0426-0/+428