phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
497 Commits 19 Branches 10 Tags
6cda39a778ea2743b4ea911d17c8ca2bb89f5a80
Commit Graph
301 Commits
Author SHA1 Message Date
Alexander Bentkamp 6cda39a778 wait 3s until artifacts are available 2023-05-11 09:37:20 +02:00
Alexander Bentkamp 9ba5acef4d support arbitrary docker containers as games 2023-05-10 11:44:25 +02:00
Alexander Bentkamp 161c88d58f delete temporary files after import 2023-05-09 13:44:19 +02:00
Alexander Bentkamp cf5783f2e4 remove alternative import 2023-05-09 12:19:06 +02:00
Alexander Bentkamp 035a66c930 more import 2023-05-09 12:17:53 +02:00
Alexander Bentkamp 76ce856082 import experimentation 2023-05-09 12:17:53 +02:00
Alexander Bentkamp 9514e558ad fix build.sh for real 2023-05-05 14:42:49 +02:00
Alexander Bentkamp b222cff665 fix build.sh 2023-05-05 14:33:55 +02:00
Alexander Bentkamp 105dd39f12 update build script 2023-05-05 14:11:33 +02:00
Jon Eugster 7c65025598 add-imports 2023-05-04 16:09:44 +02:00
Jon Eugster 93b02883b3 typo 2023-05-04 16:05:14 +02:00
Jon Eugster c4e63687c0 add log messages 2023-05-04 16:03:16 +02:00
Alexander Bentkamp eaf0d13c2f make game directory more configurable 2023-05-04 11:48:32 +02:00
Jon Eugster 48ba131d2c fix bug for marking new inventory items 2023-04-28 13:01:38 +02:00
Jon Eugster e3c14256fb revert attributes for statements 2023-04-28 12:43:10 +02:00
Jon Eugster ebcc1df171 add syntax for attr in statements; add new key to computed inventory items. 2023-04-28 12:39:24 +02:00
Jon Eugster d837344797 fix 2023-04-26 01:52:21 +02:00
Jon Eugster 759e9722f8 typo 2023-04-26 01:43:42 +02:00
Jon Eugster 8246ae6eac change folder structure 2023-04-26 01:31:35 +02:00
Jon Eugster 2097eddb2f factor out adam game 2023-04-26 00:46:32 +02:00
Jon Eugster cddb28fe73 extract NNG 2023-04-25 20:47:11 +02:00
Jon Eugster a8909cb6bb Merge branch 'main' of github.com:leanprover-community/lean4game 2023-04-25 20:46:23 +02:00
Jon Eugster b94632cf0b wip 2023-04-25 20:17:14 +02:00
Kevin Buzzard 79c04a1bff add comment about alternative le definition 2023-04-25 18:09:20 +01:00
Kevin Buzzard a116a10050 add explanation of the instances 2023-04-25 18:05:48 +01:00
Jon Eugster 5f0d25867e typo 2023-04-25 17:29:07 +02:00
Jon Eugster 0ea112c29e fix 2023-04-25 14:13:18 +02:00
Jon Eugster b1a53aba05 NNG progress 2023-04-25 14:06:17 +02:00
Jon Eugster b6715bcbff add global options to the games (disbable tactic.hygienic) 2023-04-20 15:45:06 +02:00
Jon Eugster 269acd4938 ring_nf 2023-04-18 13:19:46 +02:00
Jon Eugster b73249df22 disable unfinished levels 2023-04-18 13:19:27 +02:00
Jon Eugster f48f639190 nng levels 2023-04-17 14:59:44 +02:00
Jon Eugster 8d395d56e7 modify Statement 2023-04-16 18:12:36 +02:00
Jon Eugster 545d20bb5a show statement name in command line mode 2023-04-14 13:49:07 +02:00
Jon Eugster b1dc4d71b3 named Statements are added to context with there specified name 2023-04-14 10:48:46 +02:00
Jon Eugster 0560c0100b named Statements are automatically added to inventory 2023-04-13 22:25:25 +02:00
Jon Eugster 26239d6687 remove old Hint statements 2023-04-13 20:50:34 +02:00
Jon Eugster db7a84c570 remove redundant imports 2023-04-13 19:42:20 +02:00
Jon Eugster 6db53a8071 reorganise gameserver and add docstrings 2023-04-13 19:18:20 +02:00
Jon Eugster fec4005476 nng levels 2023-04-13 16:43:45 +02:00
Jon Eugster cd4e3bb949 NNG levels 2023-04-11 11:16:04 +02:00
Jon Eugster a4cb28df7b level 2023-04-11 11:15:02 +02:00
Jon Eugster 94b5af1623 reduce imported mathlib chunk 2023-04-04 21:29:10 +02:00
Jon Eugster 2ec897fa39 fix permission 2023-04-03 19:55:27 +02:00
Jon Eugster 68606aab99 levels 2023-04-03 19:51:27 +02:00
Jon Eugster f636a8d833 fix missing lemma docs from statement names 2023-04-03 11:53:48 +02:00
Jon Eugster c2b298e650 fix 2023-04-03 11:53:10 +02:00
Jon Eugster e93e480f27 move Statement further down in the document 2023-03-31 17:52:39 +02:00
Jon Eugster b6b4251d5d text 2023-03-31 17:52:39 +02:00
Jon Eugster 9b25eda668 levels and custom induction 2023-03-31 17:52:39 +02:00