| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix semicategory loading | Nao Pross | 2023-11-18 | 1 | -5/+7 |
| * | Merge remote-tracking branch 'template/alphubel-prod' into alphubel-prod | Nao Pross | 2023-11-16 | 1 | -0/+12 |
| |\ | |||||
| | * | misc | Andrea Censi | 2023-11-01 | 1 | -0/+12 |
| | * | misc | Andrea Censi | 2023-11-01 | 2 | -3/+44 |
| | * | misc | Andrea Censi | 2023-10-18 | 1 | -0/+16 |
| | * | added template | Andrea Censi | 2022-03-15 | 1 | -0/+27 |
| | * | more exercises | Andrea Censi | 2022-02-26 | 10 | -107/+21 |
| | * | more comments | Andrea Censi | 2022-02-23 | 2 | -3/+3 |
| | * | merge | Andrea Censi | 2022-02-22 | 7 | -8/+2 |
| | |\ | |||||
| | | * | updates | Andrea Censi | 2022-02-22 | 7 | -9/+4 |
| | * | | more comments | Andrea Censi | 2022-02-22 | 9 | -31/+33 |
| | |/ | |||||
| | * | skeletons | Andrea Censi | 2022-02-21 | 22 | -50/+42 |
| | * | skeletons | Andrea Censi | 2022-02-21 | 24 | -0/+499 |
| | * | First | Andrea Censi | 2021-02-20 | 1 | -0/+0 |
| * | Fix bug when uptolevel is None | Nao Pross | 2023-11-16 | 1 | -2/+5 |
| * | Remove unused Morph and Obj, use equations | Nao Pross | 2023-11-16 | 1 | -28/+42 |
| * | Pass TestSemiCategoryRepresentation | Nao Pross | 2023-11-16 | 1 | -94/+69 |
| * | Mostly pass TestSemiCategoryRepresentation | Nao Pross | 2023-11-15 | 1 | -0/+166 |
| * | Fix MyFiniteSetDisjointUnion | Nao Pross | 2023-11-05 | 1 | -3/+3 |
| * | Fix MyFiniteSetDisjointUnion and pass more tests | Nao Pross | 2023-11-05 | 3 | -15/+45 |
| * | Pass TestFiniteMakeSetDisjointUnion | Nao Pross | 2023-11-05 | 1 | -2/+42 |
| * | Pass TestFinitePosetConstructionProduct | Nao Pross | 2023-11-05 | 2 | -2/+6 |
| * | Pass TestFiniteMonotoneMapProperties | Nao Pross | 2023-11-05 | 2 | -3/+20 |
| * | Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentation | Nao Pross | 2023-11-05 | 1 | -18/+2 |
| * | Fix MyFinitePoset | Nao Pross | 2023-11-04 | 3 | -10/+151 |
| * | Pass TestFinitePosetConstructionPower | Nao Pross | 2023-10-29 | 3 | -6/+80 |
| * | Pass TestFiniteMakePowerSet | Nao Pross | 2023-10-29 | 2 | -3/+63 |
| * | Pass TestFiniteSemigroupMorphismsChecks | Nao Pross | 2023-10-22 | 2 | -6/+142 |
| * | Pass Semigroups and Groups representations | Nao Pross | 2023-10-20 | 1 | -6/+108 |
| * | Pass TestFiniteRelationOperations | Nao Pross | 2023-10-17 | 1 | -2/+12 |
| * | Fix bug to pass TestFiniteMapRepresentation | Nao Pross | 2023-10-17 | 1 | -16/+20 |
| * | Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, TestFiniteR... | Nao Pross | 2023-10-17 | 2 | -8/+102 |
| * | Pass TestFiniteMapRepresentation and TestFiniteMapOperations | Nao Pross | 2023-10-17 | 2 | -16/+48 |
| * | Sketch TestFiniteMapRepresentation | Nao Pross | 2023-10-10 | 3 | -8/+69 |
| * | Implement loading of set products in SolFiniteSetRepresentation | Nao Pross | 2023-10-10 | 1 | -7/+27 |
| * | Pass TestFiniteMakeSetProduct | Nao Pross | 2023-10-10 | 1 | -4/+74 |
| * | Pass TestFiniteSetProperties | Nao Pross | 2023-10-04 | 1 | -1/+7 |
| * | Pass TestFiniteSetRepresentation | Nao Pross | 2023-10-04 | 1 | -3/+36 |
| * | Pass TestSimpleIntro | Nao Pross | 2023-10-04 | 1 | -1/+1 |
| * | Initial commit | github-classroom[bot] | 2023-10-04 | 26 | -0/+428 |
 |
index : ethz/act4e | |
| Applied Category Theory for Engineering 1 Maker Track @ ETHZ | Linux User |
| summaryrefslogtreecommitdiffstats |