Skip to content

Latest commit

 

History

History
14 lines (8 loc) · 330 Bytes

README.md

File metadata and controls

14 lines (8 loc) · 330 Bytes

Snake Lemma

Screenshot

Solve as much theorems as you can with the Snake Lemma!

Change direction with ijkl.

Eat up the various theorems without becoming unsound via self-reference (i.e. crossing the snake) or by going off-course (i.e. crashing into the walls).

The rest is an exercise to the reader!