phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 60b09c81fe diagnostics for simple infoview Alexander Bentkamp 2022-12-14 16:31:48 +0100
  • 3fd3a12370 Merge branch 'main' of github.com:hhu-adam/lean4game Alexander Bentkamp 2022-12-14 15:30:57 +0100
  • e88dc0eb71 unify hints and messages Alexander Bentkamp 2022-12-14 15:30:54 +0100
  • 6bb758c666 fixing text wrap in side panel. Jon Eugster 2022-12-14 15:11:04 +0100
  • cacab5336e merge Jon Eugster 2022-12-14 14:43:50 +0100
  • 802d748bf4 collapsable side panel Jon Eugster 2022-12-14 14:39:37 +0100
  • 32b9d028a7 save state of code Alexander Bentkamp 2022-12-14 14:02:57 +0100
  • 4114cbc304 remove button Alexander Bentkamp 2022-12-14 12:23:42 +0100
  • 83bbcd850e use svg for overview Alexander Bentkamp 2022-12-14 12:22:46 +0100
  • 513a6f0a3e merge Jon Eugster 2022-12-13 11:20:54 +0100
  • c7d7174bdb changing CSS Jon Eugster 2022-12-13 11:19:42 +0100
  • 0ec9cadb13 display errors Alexander Bentkamp 2022-12-13 11:02:32 +0100
  • e14c28839a merge again Jon Eugster 2022-12-12 21:01:13 +0100
  • 46848d8a93 merge addition of Lemma statements Jon Eugster 2022-12-12 20:54:31 +0100
  • b2727eef89 toggle hints Jon Eugster 2022-12-12 14:01:57 +0100
  • 17792e1a01 Add Support for lemma statement. Jon Eugster 2022-12-12 20:08:28 +0100
  • a5d2242ef9 add task gutter Alexander Bentkamp 2022-12-12 17:12:21 +0100
  • cd18884885 fix Alexander Bentkamp 2022-12-12 17:07:37 +0100
  • b5e1d38341 allow hot reloading in level Alexander Bentkamp 2022-12-12 16:34:25 +0100
  • 4c135aa6ae load level using rtk Alexander Bentkamp 2022-12-12 16:28:07 +0100
  • 1e48980af8 toggle hints Jon Eugster 2022-12-12 14:01:57 +0100
  • 649a5d2dfb Add hints. Jon Eugster 2022-12-12 12:19:21 +0100
  • 04c0466fa4 update to lean nightly 22-12-05 Jon Eugster 2022-12-12 11:13:02 +0100
  • c6d8b35806 set up rtk query Alexander Bentkamp 2022-12-09 17:20:03 +0100
  • c26227a631 Merge branch 'main' of github.com:leanprover-community/lean4game Jon 2022-12-09 16:55:13 +0100
  • d55730ee7e update mathlib to master Jon 2022-12-09 16:55:09 +0100
  • 4cb129c2f3 remove old server code Alexander Bentkamp 2022-12-09 15:28:01 +0100
  • f4603f5b4b add TODO Alexander Bentkamp 2022-12-07 18:45:29 +0100
  • 6cbe80b3c0 fix routing Alexander Bentkamp 2022-12-07 18:34:14 +0100
  • 7fab8878fc navigate to worlds when clicking on graph Alexander Bentkamp 2022-12-07 18:32:18 +0100
  • 894d2708d8 add world parameter to router Alexander Bentkamp 2022-12-07 18:24:26 +0100
  • 0eacf1339b Merge branch 'main' of github.com:hhu-adam/lean4game Alexander Bentkamp 2022-12-07 12:35:58 +0100
  • 8dbdfb0f4d routing for level Alexander Bentkamp 2022-12-07 12:35:54 +0100
  • b8a8180d7e use react router, reorganize leanClient connection Alexander Bentkamp 2022-12-07 12:29:05 +0100
  • 8de1eea548
         Update README.md Jon Eugster 2022-12-06 19:38:10 +0100
  • 87f943a08c levels: negation, nat-basics Jon Eugster 2022-12-06 19:33:29 +0100
  • a91c9d0af7 Merge branch 'main' of github.com:leanprover-community/lean4game into main Jon Eugster 2022-12-06 11:14:28 +0100
  • b61ffb4499 more levels. lake-packages Jon Eugster 2022-12-06 11:14:24 +0100
  • 957538dcb2 make sure that variables are only used once for messages Alexander Bentkamp 2022-12-06 11:09:58 +0100
  • 7df5758d69 match assumptions for messages Alexander Bentkamp 2022-12-06 10:36:30 +0100
  • 9f5fdbe35b avoid unknown free variable error in messages Alexander Bentkamp 2022-12-06 09:58:45 +0100
  • 80e1c6f5e0 Merge branch 'main' of github.com:leanprover-community/lean4game into main Jon Eugster 2022-12-06 09:50:37 +0100
  • c6cd627eec Merge branch 'main' of github.com:leanprover-community/lean4game Jon 2022-12-06 09:50:04 +0100
  • 2509ab96d6 . Jon Eugster 2022-12-06 09:40:06 +0100
  • ec45f6d0ca Merge branch 'jon-wip' into main Jon Eugster 2022-12-06 09:30:16 +0100
  • f4508d81af update lean Alexander Bentkamp 2022-12-05 16:56:42 +0100
  • eda5357723 enableInitializersExecution Alexander Bentkamp 2022-12-05 16:25:20 +0100
  • cde0e95c1e more levels Jon 2022-12-05 11:40:44 +0100
  • 0a495984aa check trigger for messages Alexander Bentkamp 2022-12-02 12:46:16 +0100
  • 854ac6ee55 display messages (displaying all of them immediately for now) Alexander Bentkamp 2022-12-02 09:57:34 +0100
  • 4acd791fd7 Merge branch 'main' of github.com:hhu-adam/lean4game Alexander Bentkamp 2022-12-01 17:24:46 +0100
  • 75c37bc8b7 always display initial goal Alexander Bentkamp 2022-12-01 17:24:44 +0100
  • daa45e4f9e small fixes Jon Eugster 2022-12-01 16:37:24 +0100
  • 7091f8adac Add introductory levels Jon Eugster 2022-12-01 16:00:18 +0100
  • 9e8518568a more levels Jon Eugster 2022-12-01 15:57:55 +0100
  • 63b9c6cbb6 wip Jon Eugster 2022-12-01 14:04:20 +0100
  • 0273d6a465 fix server error due to missing info tree in header snap Alexander Bentkamp 2022-11-30 17:28:11 +0100
  • 4157dc0564 improve custom goal display Alexander Bentkamp 2022-11-30 16:15:10 +0100
  • ef63f40531 custom goal display Alexander Bentkamp 2022-11-30 14:40:20 +0100
  • d78a8fafa4 start custom infoview Alexander Bentkamp 2022-11-30 12:15:54 +0100
  • bd3e3678d5 fix for React StrictMode Alexander Bentkamp 2022-11-30 08:58:24 +0100
  • 5bf0cd9775 first_levels Jon Eugster 2022-11-29 17:11:17 +0100
  • cc6eb8c3f9 use redux Alexander Bentkamp 2022-11-29 17:06:20 +0100
  • e43a2e2e9f wip Jon Eugster 2022-11-28 17:48:45 +0100
  • 50339da74f use cytoscape Alexander Bentkamp 2022-11-28 15:50:58 +0100
  • 5cb0ff4ccf install libatomic1 in Docker Alexander Bentkamp 2022-11-28 14:44:19 +0100
  • 071871b696 copy action from lean4web Alexander Bentkamp 2022-11-28 14:23:59 +0100
  • 52bcce6152 move libatomic1 first Alexander Bentkamp 2022-11-28 14:10:57 +0100
  • 292bf9befc try to fix github action Alexander Bentkamp 2022-11-28 14:01:35 +0100
  • 91d41cdd6d define paths Alexander Bentkamp 2022-11-28 14:00:21 +0100
  • 375fffcff7 attempt to fix github action Alexander Bentkamp 2022-11-28 12:24:11 +0100
  • bc9531a9c2 add worlds Alexander Bentkamp 2022-11-28 11:17:14 +0100
  • c8b8fc098b rearrange layout Alexander Bentkamp 2022-11-25 15:06:50 +0100
  • cede6630dc show introduction Alexander Bentkamp 2022-11-25 13:49:12 +0100
  • 43d671713d level navigation Alexander Bentkamp 2022-11-25 10:09:15 +0100
  • 8fd6b3e015 load levels via uri Alexander Bentkamp 2022-11-25 09:53:21 +0100
  • 4d9e1ba7d7 infoview Alexander Bentkamp 2022-11-24 15:52:44 +0100
  • f6bf1924ff save and load levels as syntax Alexander Bentkamp 2022-11-24 15:37:35 +0100
  • 9b76b4aed3 fix paths without lake Alexander Bentkamp 2022-11-24 14:41:38 +0100
  • 77a8c4750e fix path issues Alexander Bentkamp 2022-11-24 14:38:35 +0100
  • 7ae299870b use LeanClient Alexander Bentkamp 2022-11-24 13:03:02 +0100
  • 7e78445c43 import editor Alexander Bentkamp 2022-11-23 12:51:21 +0100
  • d5fcf148fe load level Alexander Bentkamp 2022-11-23 10:52:55 +0100
  • c06fa4c6ff load testgame Alexander Bentkamp 2022-11-23 09:08:39 +0100
  • 9a86adb17e rudimentary info request Alexander Bentkamp 2022-11-17 16:38:26 +0100
  • 3fd22a8aa9 use full jsonrpc protocol Alexander Bentkamp 2022-11-17 15:06:58 +0100
  • 5e64ef848d use wss protocol Alexander Bentkamp 2022-11-16 11:52:52 +0100
  • 6acc8e0969 more notes Alexander Bentkamp 2022-11-16 11:52:18 +0100
  • 8f875c3bf0 add port to pm2 config Alexander Bentkamp 2022-11-16 11:48:39 +0100
  • aafaa0e01f fix ecosystem file Alexander Bentkamp 2022-11-16 11:47:12 +0100
  • 0a2b6b4e5f add pm2 ecosystem file Alexander Bentkamp 2022-11-16 11:44:42 +0100
  • 81099a5898 more notes Alexander Bentkamp 2022-11-15 17:49:35 +0100
  • 11bf628464 Merge branch 'main' of github.com:hhu-adam/lean4game into main Alexander Bentkamp 2022-11-15 11:22:22 +0100
  • e8b14d64fa notes subdomain Alexander Bentkamp 2022-11-15 11:22:19 +0100
  • 23f088b8bb more notes Alexander Bentkamp 2022-11-03 16:09:50 +0100
  • 7cfaca4c5d more notes Alexander Bentkamp 2022-11-03 15:04:18 +0100
  • 9e32566eff more notes Alexander Bentkamp 2022-11-03 14:59:07 +0100
  • b68f8ecb7b Merge branch 'json-rpc' into main Alexander Bentkamp 2022-10-27 17:35:09 +0200
  • a29810eff5 update notes Alexander Bentkamp 2022-10-27 17:34:25 +0200
  • d2fd1c5915 convert tabs to spaces Alexander Bentkamp 2022-10-21 14:39:01 +0200