Commit Graph

4 Commits (6a0e7393013198d9b565ab536fe89659de7d82dd)

Author SHA1 Message Date
Pietro Monticone f518efc81c Update LetIntros.lean 2 years ago
Jon Eugster ad1add5264 support translations of the games 2 years ago
Jon Eugster ee6741232f add doc 2 years ago
Jon Eugster 9bc0a3de46 add let_intros for better experience with levels about functions 2 years ago