Commit 2021-08-16 15:18 53d97e1a
View on Github →puzzle(archive/oxford_invariants): Oxford Invariants Puzzle Challenges, Summer 2021, Week 3, Problem 1 (#8656) This is a formalisation of a problem posed by the Oxford Invariants. Co-authored by @b-mehta