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

Commit Graph

  • a18ad27985 hover titles for inventory Jon Eugster 2023-04-10 13:38:41 +0200
  • 60a9c1727b improve command line display Jon Eugster 2023-04-05 17:16:30 +0200
  • 94b5af1623 reduce imported mathlib chunk Jon Eugster 2023-04-04 21:29:10 +0200
  • 2ec897fa39 fix permission Jon Eugster 2023-04-03 19:55:27 +0200
  • 68606aab99 levels Jon Eugster 2023-04-03 19:51:27 +0200
  • f636a8d833 fix missing lemma docs from statement names Jon Eugster 2023-04-03 11:53:48 +0200
  • c2b298e650 fix Jon Eugster 2023-04-03 11:53:10 +0200
  • e93e480f27 move Statement further down in the document Jon Eugster 2023-03-31 17:46:25 +0200
  • b6b4251d5d text Jon Eugster 2023-03-31 17:49:16 +0200
  • 9b25eda668 levels and custom induction Jon Eugster 2023-03-31 17:48:52 +0200
  • c8b0ac4e6c css Jon Eugster 2023-03-31 17:48:18 +0200
  • f02e591c37 typo Jon Eugster 2023-03-31 17:48:04 +0200
  • b6066f5163 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-03-31 12:39:15 +0200
  • f61ec82c83
         Merge pull request #54 from TentativeConvert/main Jon Eugster 2023-03-31 12:10:37 +0200
  • 96a8da9d93
         Apply suggestions from code review #54 Jon Eugster 2023-03-31 12:10:09 +0200
  • e947c434a8 konsequente Kleinschreibung von du, dein, dir Marcus Zibrowius 2023-03-31 10:44:50 +0200
  • 23abcaf488 Titelseite überarbeiten Marcus Zibrowius 2023-03-31 10:25:07 +0200
  • 0e5891371a levels Jon Eugster 2023-03-30 21:01:35 +0200
  • 62fb4f52bd implement functionality of OnlyTactic Jon Eugster 2023-03-30 20:13:15 +0200
  • 90062a217c do not show empty introductions/conclusions Jon Eugster 2023-03-30 18:56:32 +0200
  • 2e4161ca7a typos Jon Eugster 2023-03-30 17:48:55 +0200
  • 1adf5783bb
         Merge pull request #53 from TentativeConvert/main Jon Eugster 2023-03-30 17:36:14 +0200
  • b8eccf3a8e
         Merge branch 'main' into main #53 Jon Eugster 2023-03-30 17:35:07 +0200
  • f46b59163b add .gitignore for nng Jon Eugster 2023-03-30 14:59:58 +0200
  • 85f0a2e559 use LemmaTab in levels Jon Eugster 2023-03-30 14:59:28 +0200
  • 3cbe336ccb add command LemmaTab to specify default tab when loading level Jon Eugster 2023-03-30 14:59:07 +0200
  • 2b1384d6a6 remove nng build data Jon Eugster 2023-03-30 14:58:11 +0200
  • e907c1fd5e planet names as titles for the first chapters Marcus Zibrowius 2023-03-30 12:15:16 +0200
  • 11a8352fd3 story für Contradiction überarbeiten Marcus Zibrowius 2023-03-30 11:33:16 +0200
  • a4c2dcb12b rewrite story for Predicate (continued) Marcus Zibrowius 2023-03-29 17:14:37 +0200
  • 750e2bde32 rewrite story for Predicate Marcus Zibrowius 2023-03-29 17:13:55 +0200
  • 4ae7e0eab6 levels Jon Eugster 2023-03-29 15:37:21 +0200
  • 62d2e0918c rewrite story for Implication Marcus Zibrowius 2023-03-29 15:25:45 +0200
  • 8cd674661d link to project website on front page Marcus Zibrowius 2023-03-29 11:51:34 +0200
  • 71904d5460 merge necessary as upstream developed while storyline slept Marcus Zibrowius 2023-03-29 11:25:46 +0200
  • 4d1d97a164 nng Jon Eugster 2023-03-28 22:15:25 +0200
  • 9eb0f2543f privacy policy and graph layout Jon Eugster 2023-03-28 22:14:41 +0200
  • 6e8911e5da add NNG Jon Eugster 2023-03-26 14:29:13 +0200
  • 6cd71c93fe fix doc string Jon Eugster 2023-03-26 14:28:58 +0200
  • e7842bce82 fix level links Jon Eugster 2023-03-26 14:27:04 +0200
  • bbe38ddc7c rename testgame to adam, part 2 Alexander Bentkamp 2023-03-23 17:10:44 +0100
  • 5c73d3bddb rename testgame to adam Alexander Bentkamp 2023-03-23 17:10:13 +0100
  • a262cff63b Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-03-23 17:00:47 +0100
  • 6cb53965c2 levels Jon Eugster 2023-03-23 17:00:36 +0100
  • cbc9576f98 add support for multiple games in redux state Alexander Bentkamp 2023-03-23 16:21:57 +0100
  • dac15d84b5 add build mechanism for nng Alexander Bentkamp 2023-03-23 15:54:47 +0100
  • 7992cffa26 add minimal NNG dummy Alexander Bentkamp 2023-03-23 15:23:12 +0100
  • bf2315b474 remove references to `testgame` on the server, add gameId to router Alexander Bentkamp 2023-03-23 15:14:05 +0100
  • a4623a8241 css Jon Eugster 2023-03-23 16:00:11 +0100
  • 10a12a8e77 lemma docs and levels Jon Eugster 2023-03-22 15:49:05 +0100
  • 0fc992e330 put conclusion text inside info-box for now Jon Eugster 2023-03-22 15:48:45 +0100
  • a4d1130487 refine_struct Alexander Bentkamp 2023-03-21 11:01:36 +0100
  • 83ee409f47 levels Jon Eugster 2023-03-20 17:53:39 +0100
  • ae58652fa9 lemma docs Jon Eugster 2023-03-20 12:15:48 +0100
  • c947ef20d7 lemma docs Jon Eugster 2023-03-20 11:01:57 +0100
  • 5dd846f168 levels Jon Eugster 2023-03-17 14:39:32 +0100
  • 0cd416f303 tactic documentation Jon Eugster 2023-03-17 14:39:26 +0100
  • c883265776 levels Jon Eugster 2023-03-16 13:24:34 +0100
  • d0b7838564 add display names for definitions and lemmas Jon Eugster 2023-03-16 13:23:10 +0100
  • 9480090cb4 nothin of importance Jon Eugster 2023-03-15 19:05:20 +0100
  • 7382b3a77b nothing of importance Jon Eugster 2023-03-15 19:04:46 +0100
  • 32a17ed9e8 storytime Jon Eugster 2023-03-15 18:30:35 +0100
  • b0d9816ce6 simpler solution to remove indented lines Alexander Bentkamp 2023-03-15 17:41:52 +0100
  • 86302522a5 add atomic to fix interpolatedStr issue Alexander Bentkamp 2023-03-15 17:02:43 +0100
  • f2eed5fc0c repair command line Alexander Bentkamp 2023-03-15 16:55:50 +0100
  • 588c362aa3 merge Marcus Zibrowius 2023-03-15 14:08:56 +0100
  • 07ec94b7c2 fix strinterpolation again Alexander Bentkamp 2023-03-15 12:31:56 +0100
  • 27e82378d0 bump mathlib and fixes Jon Eugster 2023-03-15 12:08:50 +0100
  • 421606aaed story contradiction Jon Eugster 2023-03-15 11:19:18 +0100
  • 93114620c4 story world 2 and 3 Jon Eugster 2023-03-14 10:38:10 +0100
  • 18f16bfe1c disabled applies only to current level Alexander Bentkamp 2023-03-13 13:53:31 +0100
  • a876b71d85 fix strinterpolation Alexander Bentkamp 2023-03-13 10:57:37 +0100
  • cad766d553 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-03-13 10:08:40 +0100
  • 3ff3c7eb69 story world 2 Jon Eugster 2023-03-10 19:21:17 +0100
  • 6d93aa4752 make statement description optional Jon Eugster 2023-03-10 17:10:05 +0100
  • 66f506c5b2 more elegant this way Alexander Bentkamp 2023-03-10 16:37:04 +0100
  • 481f2b5cbb refactor level code Alexander Bentkamp 2023-03-10 16:20:02 +0100
  • 35eb6c3ec0 refactor LevelAppBar Alexander Bentkamp 2023-03-10 16:11:11 +0100
  • 5dfa7b56ec doc panel Alexander Bentkamp 2023-03-10 15:48:22 +0100
  • 07b5c22dda allow initial white space in hints Alexander Bentkamp 2023-03-10 15:30:19 +0100
  • 7c2b1b0482 update world 1 Jon Eugster 2023-03-10 15:14:07 +0100
  • 27532a7688 fix errors during merge Alexander Bentkamp 2023-03-10 10:14:51 +0100
  • c8c85195d7 Branch Alexander Bentkamp 2023-03-09 19:00:19 +0100
  • b3a38ee080 strict and hidden options Alexander Bentkamp 2023-03-09 18:07:00 +0100
  • 625e224d1e hide internal Hint log messages Alexander Bentkamp 2023-03-09 17:36:03 +0100
  • b0d3da99bc reimplement matchDecls Alexander Bentkamp 2023-03-09 15:55:14 +0100
  • 1d7facd8dd use fvars instead of mvars for hints Alexander Bentkamp 2023-03-09 15:34:15 +0100
  • 725d27e345 Add test: Function level 10 Jon Eugster 2023-03-08 17:41:16 +0100
  • f540b63764 test example Alexander Bentkamp 2023-03-08 16:20:14 +0100
  • 97fd51686f basic inline hints Alexander Bentkamp 2023-03-08 16:12:22 +0100
  • 04bba0220d levels Jon Eugster 2023-03-09 17:10:17 +0100
  • ae82567b2d story Jon Eugster 2023-03-09 17:02:42 +0100
  • 41a2b52ac3 levels: Function Jon Eugster 2023-03-08 20:10:51 +0100
  • 7dde866039 levels Jon Eugster 2023-03-08 16:33:14 +0100
  • 1145f8dd0b Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-03-08 10:35:22 +0100
  • b30a14caf0 do not check Doc for disabled Tactic/Lemma/Definition Jon Eugster 2023-03-08 10:34:52 +0100
  • 3f39db59ab
         Update NOTES.md Alexander Bentkamp 2023-03-08 10:13:58 +0100
  • 93d05c9703 rename [New/Only/Disabled][Tactic/Lemma/Definition] Jon Eugster 2023-03-08 09:30:01 +0100
  • fc493635d1 merge with upstream Marcus Zibrowius 2023-03-07 21:33:56 +0100
  • ef5f39fef0 minor edits Marcus Zibrowius 2023-03-07 21:26:28 +0100