phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
960 Commits 19 Branches 10 Tags
f42829422db45f4410f3d7b72037324b061f0dd0
Commit Graph
960 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alexander Bentkamp 4c135aa6ae load level using rtk 2022-12-12 16:28:07 +01:00
Jon Eugster 1e48980af8 toggle hints 2022-12-12 14:01:57 +01:00
Jon Eugster 649a5d2dfb Add hints. 2022-12-12 12:19:21 +01:00
Jon Eugster 04c0466fa4 update to lean nightly 22-12-05 2022-12-12 11:13:02 +01:00
Alexander Bentkamp c6d8b35806 set up rtk query 2022-12-09 17:20:03 +01:00
Jon c26227a631 Merge branch 'main' of github.com:leanprover-community/lean4game 2022-12-09 16:55:13 +01:00
Jon d55730ee7e update mathlib to master 2022-12-09 16:55:09 +01:00
Alexander Bentkamp 4cb129c2f3 remove old server code 2022-12-09 15:28:01 +01:00
Alexander Bentkamp f4603f5b4b add TODO 2022-12-07 18:45:29 +01:00
Alexander Bentkamp 6cbe80b3c0 fix routing 2022-12-07 18:34:14 +01:00
Alexander Bentkamp 7fab8878fc navigate to worlds when clicking on graph 2022-12-07 18:32:18 +01:00
Alexander Bentkamp 894d2708d8 add world parameter to router 2022-12-07 18:24:26 +01:00
Alexander Bentkamp 0eacf1339b Merge branch 'main' of github.com:hhu-adam/lean4game 2022-12-07 12:35:58 +01:00
Alexander Bentkamp 8dbdfb0f4d routing for level 2022-12-07 12:35:54 +01:00
Alexander Bentkamp b8a8180d7e use react router, reorganize leanClient connection 2022-12-07 12:29:05 +01:00
Jon Eugster 8de1eea548 Update README.md 2022-12-06 19:38:10 +01:00
Jon Eugster 87f943a08c levels: negation, nat-basics 2022-12-06 19:33:29 +01:00
Jon Eugster a91c9d0af7 Merge branch 'main' of github.com:leanprover-community/lean4game into main 2022-12-06 11:14:28 +01:00
Jon Eugster b61ffb4499 more levels. lake-packages 2022-12-06 11:14:24 +01:00
Alexander Bentkamp 957538dcb2 make sure that variables are only used once for messages 2022-12-06 11:09:58 +01:00
Alexander Bentkamp 7df5758d69 match assumptions for messages 2022-12-06 10:36:30 +01:00
Alexander Bentkamp 9f5fdbe35b avoid unknown free variable error in messages 2022-12-06 09:58:45 +01:00
Jon Eugster 80e1c6f5e0 Merge branch 'main' of github.com:leanprover-community/lean4game into main 2022-12-06 09:50:37 +01:00
Jon c6cd627eec Merge branch 'main' of github.com:leanprover-community/lean4game 2022-12-06 09:50:04 +01:00
Jon Eugster 2509ab96d6 . 2022-12-06 09:40:06 +01:00
Jon Eugster ec45f6d0ca Merge branch 'jon-wip' into main 2022-12-06 09:30:16 +01:00
Alexander Bentkamp f4508d81af update lean 2022-12-05 16:56:42 +01:00
Alexander Bentkamp eda5357723 enableInitializersExecution 2022-12-05 16:25:20 +01:00
Jon cde0e95c1e more levels 2022-12-05 11:40:44 +01:00
Alexander Bentkamp 0a495984aa check trigger for messages 2022-12-02 12:46:16 +01:00
Alexander Bentkamp 854ac6ee55 display messages (displaying all of them immediately for now) 2022-12-02 09:57:34 +01:00
Alexander Bentkamp 4acd791fd7 Merge branch 'main' of github.com:hhu-adam/lean4game 2022-12-01 17:24:46 +01:00
Alexander Bentkamp 75c37bc8b7 always display initial goal 2022-12-01 17:24:44 +01:00
Jon Eugster daa45e4f9e small fixes 2022-12-01 16:37:24 +01:00
Jon Eugster 7091f8adac Add introductory levels 2022-12-01 16:00:18 +01:00
Jon Eugster 9e8518568a more levels 2022-12-01 15:57:55 +01:00
Jon Eugster 63b9c6cbb6 wip 2022-12-01 14:04:20 +01:00
Alexander Bentkamp 0273d6a465 fix server error due to missing info tree in header snap 2022-11-30 17:28:11 +01:00
Alexander Bentkamp 4157dc0564 improve custom goal display 2022-11-30 16:15:10 +01:00
Alexander Bentkamp ef63f40531 custom goal display 2022-11-30 14:40:20 +01:00
Alexander Bentkamp d78a8fafa4 start custom infoview 2022-11-30 12:15:54 +01:00
Alexander Bentkamp bd3e3678d5 fix for React StrictMode 2022-11-30 08:58:24 +01:00
Jon Eugster 5bf0cd9775 first_levels 2022-11-29 17:11:17 +01:00
Alexander Bentkamp cc6eb8c3f9 use redux 2022-11-29 17:06:20 +01:00
Jon Eugster e43a2e2e9f wip 2022-11-28 17:48:45 +01:00
Alexander Bentkamp 50339da74f use cytoscape 2022-11-28 15:50:58 +01:00
Alexander Bentkamp 5cb0ff4ccf install libatomic1 in Docker 2022-11-28 14:44:19 +01:00
Alexander Bentkamp 071871b696 copy action from lean4web 2022-11-28 14:23:59 +01:00
Alexander Bentkamp 52bcce6152 move libatomic1 first 2022-11-28 14:10:57 +01:00
Alexander Bentkamp 292bf9befc try to fix github action 2022-11-28 14:01:35 +01:00