Every week, three heroic students embark on a theorem proving challenge in lean. These are their stories.
- Week 0: (Binary Trees)
- Week 1: (White and Black Balls)
- Week 2: (Fisher Yates) (Postponed due to difficulty.)
- Week 3: (Muddy Children)
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Every week, three heroic students embark on a theorem proving challenge in lean. These are their stories.