PR #1343 feat(archive): add the cubing a cube proof

feat(archive): add the cubing a cube proof #1343

mergify merged 4 commits into master from archive

feat(archive): add the cubing a cube proof

d426709e

fpvandoorn requested a review 6 years ago

rename file

cb188ba4

add leanpkg configure to travis

351c9815

cipher1024 assigned

PatrickMassot 6 years ago

robertylewis approved these changes on 2019-08-21

robertylewis added ready-to-merge

Merge branch 'master' into archive

d87c5b12

mergify merged 3f915fc5 into master 6 years ago

mergify deleted the archive branch 6 years ago

Reviewers

robertylewis

Assignees

PatrickMassot

Labels

ready-to-merge

Milestone

No milestone