Loading...
Choose Language...
Coq
Lean
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 supplementary exercises best completed alongside Programming Language Foundations, the second 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.

Ad
6 kyu
Simplifying conditional statements
40donaldsebleung
Theorem Proving
Puzzles
Tutorials
5 kyu
Finding the maximal program
26donaldsebleung
Theorem Proving
Puzzles
Beta
Finding the maximal program, revamped
6donaldsebleung
Status:Testing & feedback needed
Estimated Rank:
2 kyu
Theorem Proving
Puzzles
Beta
One small step for a man, one giant leap for mankind
7donaldsebleung
Status:Ranking feedback needed
Estimated Rank:
2 kyu
Theorem Proving
Puzzles
Beta
Subtyping Mutable References
5donaldsebleung
Status:Testing & feedback needed
Estimated Rank:
1 kyu
Theorem Proving
Puzzles