Homec4science

Merge pull request #3 from lampepfl/improve-2020

Authored by abgruszecki on Nov 9 2020, 10:36.

Description

Merge pull request #3 from lampepfl/improve-2020

Improve 2020

Details

Committed
GitHub <noreply@github.com>Nov 9 2020, 10:36
Pushed
abgruszeckiNov 10 2020, 16:17
Parents
R9452:e6b313e1483f: Fix ordering of cells
R9452:b9bc924cb89b: Fix typo
Branches
Unknown
Tags
Unknown

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
e6b313e1483fLiu Fengyun
Fix ordering of cells 
Nov 4 2020
9f9a0c19f973Liu Fengyun
Fix box type 
Nov 4 2020
f65134aee3cbLiu Fengyun
Improve text and proof for even_double 
Nov 4 2020