Commit Graph

5 Commits (6cbe80b3c034520fa8fe6e9aec5977ff1658a152)

Author SHA1 Message Date
Jon Eugster 87f943a08c levels: negation, nat-basics 4 years ago
Jon Eugster 80e1c6f5e0 Merge branch 'main' of github.com:leanprover-community/lean4game into main 4 years ago
Jon cde0e95c1e more levels 4 years ago
Jon Eugster daa45e4f9e small fixes 4 years ago
Jon Eugster 9e8518568a more levels 4 years ago