333 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Jon Eugster	2223fcc0ad	CSS fix	2023-01-24 10:09:33 +01:00
Jon Eugster	e282396a8e	more levels.	2023-01-24 10:07:35 +01:00
Alexander Bentkamp	44d6560f27	start replacing mui by custom css	2023-01-23 15:59:09 +01:00
Jon Eugster	90540b158f	new levels.	2023-01-23 11:06:23 +01:00
Alexander Bentkamp	8e3af92c03	simplify infoview	2023-01-20 16:44:45 +01:00
Alexander Bentkamp	cdb2b64385	import the lean4 infoview so that we can modify it	2023-01-20 15:49:17 +01:00
Alexander Bentkamp	5ff9e5e26c	reinsert vscode infoview	2023-01-20 13:57:23 +01:00
Alexander Bentkamp	edc49184a6	fix #8	2023-01-20 13:57:04 +01:00
Jon Eugster	7c66d6c7de	Merge branch 'main' of github.com:leanprover-community/lean4game	2023-01-20 11:42:10 +01:00
Jon Eugster	d2be90a8a0	bump mathlib and use Even/Odd.	2023-01-20 11:42:01 +01:00
Alexander Bentkamp	719b8d2964	World names ... Closes #7	2023-01-20 11:36:44 +01:00
Alexander Bentkamp	6e0469d3bf	world titles	2023-01-19 17:43:36 +01:00
Alexander Bentkamp	f98ff9fa10	lake exe cache get	2023-01-19 17:00:16 +01:00
Alexander Bentkamp	206152a07c	save progress in local storage	2023-01-19 16:10:08 +01:00
Jon Eugster	8dd3c09339	Merge branch 'main' of github.com:leanprover-community/lean4game	2023-01-19 15:44:08 +01:00
Jon Eugster	e9ec48ef44	changes to levels	2023-01-19 15:44:04 +01:00
Jon Eugster	9d1a591670	changes to levels	2023-01-19 15:43:29 +01:00
Jon Eugster	01e2b3b4a1	bump mathlib	2023-01-19 15:43:11 +01:00
Alexander Bentkamp	5fa49551ee	keep alive message for websocket	2023-01-19 15:18:58 +01:00
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
Alexander Bentkamp	fd0c421d84	home button	2023-01-19 12:29:07 +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
Alexander Bentkamp	b02d55de34	track completed levels	2023-01-09 17:00:15 +01:00
Alexander Bentkamp	9f19352047	insert proper keys in lists	2022-12-23 09:14:58 +01:00
Alexander Bentkamp	49159c9761	useEditorUri, hide server crash messages	2022-12-22 16:11:27 +01:00
Alexander Bentkamp	53bed75036	fix bug of nonupdating level title	2022-12-21 15:16:38 +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
Alexander Bentkamp	306c76e500	jump to end position when loading a level	2022-12-21 12:42:08 +01:00
Alexander Bentkamp	fd59e2067b	loading icon for goals	2022-12-21 12:37:50 +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
Alexander Bentkamp	adc6284d4c	unmount editor properly	2022-12-20 17:24:36 +01:00
Alexander Bentkamp	4fd5710b9d	use correct jsx capitalization	2022-12-20 16:32:19 +01:00
Alexander Bentkamp	56bf360ef5	close rpc sessions properly	2022-12-20 12:45:44 +01:00
Alexander Bentkamp	ad6f907d17	load number of levels from server	2022-12-20 12:06:35 +01:00
Jon Eugster	af2416b97a	update ecosystem.config.js	2022-12-19 14:43:31 +01:00
Alexander Bentkamp	3117182494	fix dockerfile	2022-12-19 14:11:28 +01:00
Alexander Bentkamp	860a608399	data?	2022-12-19 13:56:47 +01:00
Jon	44b8edbec3	updates	2022-12-18 02:28:50 +01:00
Jon	ac29c83e79	show global errors when no goals present.	2022-12-16 16:09:09 +01:00
Jon	ef1973c50b	updating Logic world	2022-12-16 14:05:57 +01:00
Alexander Bentkamp	91c77a0d93	set titles	2022-12-15 14:18:21 +01:00
Alexander Bentkamp	340700aba4	check completed when changing level	2022-12-15 14:02:24 +01:00
Alexander Bentkamp	bbfb6f8f5e	use ReactMarkdown plugins	2022-12-15 13:40:45 +01:00
Alexander Bentkamp	ada40dcf34	Merge branch 'main' of github.com:hhu-adam/lean4game	2022-12-15 12:04:43 +01:00