Collection

Start training on this collection. Each time you skip or complete a kata you will be taken to the next kata in the series. Once you cycle through the items in the collection you will revert back to your normal training routine.

DescriptionEdit

A collection of supplementary exercises best completed alongside Logical Foundations, the first volume of Software Foundations.

Disclaimer: the exercises in this collection are in no way officially endorsed by the authors of Software Foundations, implied or otherwise.

Delete This Collection

Deleting the collection cannot be undone.

Delete

7 kyu

A random fact about filtering

125donaldsebleung

Theorem Proving

Puzzles

5 kyu

Multiples of 3, you say?

116donaldsebleung

Theorem Proving

Puzzles

Collection

DescriptionEdit

Delete This Collection

Confirm

Collect: kata

You have not created any collections yet.