Commit Graph

4 Commits (4d5f2592705574759149c2e1cdb5a9f85a102e3b)

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