12 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Jon Eugster	2efdfe3d07	format navigation buttons	2023-01-19 14:02:10 +01:00
Jon Eugster	adcc6a06c7	level modifications	2023-01-19 13:52:01 +01:00
Jon Eugster	5b021f5981	Add dummy levels	2023-01-19 12:17:00 +01:00
Jon Eugster	420f913e69	reorganise world Implication	2023-01-19 12:01:59 +01:00
Jon Eugster	966db8a159	typos	2023-01-17 15:48:56 +01:00
Jon Eugster	1eb0ac63e3	Modified starter level.	2023-01-17 15:30:49 +01:00
Jon Eugster	2f0af5f472	Merge branch 'main' of github.com:leanprover-community/lean4game	2022-12-21 13:40:46 +01:00
Jon Eugster	81e048320a	update node packages	2022-12-21 13:40:38 +01:00
Jon Eugster	efd77ac37b	merge	2022-12-21 11:42:14 +01:00
Jon Eugster	219c574fd5	upgrade and level typos	2022-12-21 11:32:50 +01:00
Jon Eugster	af2416b97a	update ecosystem.config.js	2022-12-19 14:43:31 +01:00
Jon Eugster	8de1eea548	Update README.md	2022-12-06 19:38:10 +01:00