ethz/act4e - Applied Category Theory for Engineering 1 Maker Track @ ETHZ

	Commit message (Expand)	Author	Files	Lines
2023-10-10	Sketch TestFiniteMapRepresentation	Nao Pross	3	-8/+69
2023-10-10	Implement loading of set products in SolFiniteSetRepresentation	Nao Pross	1	-7/+27
2023-10-10	Pass TestFiniteMakeSetProduct	Nao Pross	1	-4/+74
2023-10-04	Pass TestFiniteSetProperties	Nao Pross	1	-1/+7
2023-10-04	Pass TestFiniteSetRepresentation	Nao Pross	1	-3/+36
2023-10-04	Pass TestSimpleIntro	Nao Pross	1	-1/+1