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

Theorem proving kata collection where we look at logic systems themselves, rather than using them.

Delete This Collection

Deleting the collection cannot be undone.

Delete

6 kyu

Duality in Boolean logic

55dramforever

Theorem Proving

Logic

Fundamentals

5 kyu

But WHY is LEM unprovable?

23dramforever

Logic

Theorem Proving

Fundamentals

Beta

From Hilbert to Gentzen, and back

5dramforever

Status:Ranking feedback needed

Estimated Rank:
3 kyu

Logic

Theorem Proving

Collection

DescriptionEdit

Delete This Collection

Status:Ranking feedback needed

Estimated Rank:3 kyu

Confirm

Collect: kata

You have not created any collections yet.

Estimated Rank:
3 kyu