Commit Graph

7 Commits (abcc3087d3562dd520f4c6886b481c6d1e9a1d99)

Author SHA1 Message Date
Jon Eugster abcc3087d3 new levels 3 years ago
Jon Eugster e20613901f Merge branch 'main' of github.com:leanprover-community/lean4game 3 years ago
Jon Eugster 07b140acf7 levels 3 years ago
Alexander Bentkamp 76d1a08948 compute which tactics are available in which level 3 years ago
Jon Eugster d2be90a8a0 bump mathlib and use Even/Odd. 3 years ago
Jon Eugster e9ec48ef44 changes to levels 3 years ago
Jon Eugster 9d1a591670 changes to levels 3 years ago