Merge pull request #3 from lampepfl/improve-2020
Improve 2020
Description
Description
Details
Details
- Committed
GitHub <noreply@github.com> Nov 9 2020, 10:36 - Pushed
• abgruszecki Nov 10 2020, 16:17 - Parents
- R9452:e6b313e1483f: Fix ordering of cells
R9452:b9bc924cb89b: Fix typo - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| e6b313e1483f | Liu Fengyun | Fix ordering of cells | Nov 4 2020 | |||
| 9f9a0c19f973 | Liu Fengyun | Fix box type | Nov 4 2020 | |||
| f65134aee3cb | Liu Fengyun | Improve text and proof for even_double | Nov 4 2020 |