A Game Adaptation of the document GlimpseOfLean.
Primary LanguageLeanMIT LicenseMIT
No issues in this repository yet.