Train Now

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.

Description

A collection of techniques for devising customized induction principles that could prove useful in other theorem-proving Kata.

Ad
Status:Ranking feedback needed
Estimated Rank:
6 kyu
Theorem Proving
Logic
Mathematics
Discrete Mathematics