Jon Eugster
|
fe719fcfd3
|
bump lean4game, update lakefile
|
2025-08-09 01:19:55 +02:00 |
|
Jon Eugster
|
3d9d4f1d54
|
14 month time-skip
|
2025-08-06 00:28:59 +02:00 |
|
Jon Eugster
|
2dde9482d2
|
bump to v4.7.0
|
2024-04-10 17:07:22 +02:00 |
|
Jon Eugster
|
20813a03c1
|
steps towards chinese nng
|
2024-03-27 01:39:16 +01:00 |
|
Kevin Buzzard
|
bc38caf177
|
update lakefile to undeprecated moreServerOptions
|
2024-01-24 22:38:38 +00:00 |
|
joneugster
|
a568458fb2
|
update to v4.2.0
|
2023-11-22 13:15:18 +01:00 |
|
joneugster
|
b19bb8a23b
|
update workflow files and readme
|
2023-11-17 13:14:32 +01:00 |
|
joneugster
|
0c99adb0db
|
bump mathlib
|
2023-10-18 11:37:07 +02:00 |
|
joneugster
|
4be202af23
|
modify lakefile to hide info messages when building
|
2023-10-17 16:05:46 +02:00 |
|
Kevin Buzzard
|
e86866b1a2
|
update lean4game
|
2023-10-12 18:48:01 +01:00 |
|
Kevin Buzzard
|
54eea0ef51
|
update server to fix missing tactic docs bug
|
2023-10-02 19:37:45 +01:00 |
|
Alexander Bentkamp
|
cc92b455ce
|
hide repeat form the user
|
2023-10-02 12:51:41 +02:00 |
|
Kevin Buzzard
|
622fbfb866
|
update lean4game
|
2023-09-23 20:40:29 +01:00 |
|
Jon Eugster
|
8c61ebab70
|
bump mathlib
|
2023-09-10 17:10:28 +02:00 |
|
Jon Eugster
|
1e51d8095d
|
update introduction
|
2023-09-01 12:12:17 +02:00 |
|
Jon Eugster
|
7ecd27ead9
|
bump mathlib
|
2023-08-31 13:47:01 +02:00 |
|
Jon Eugster
|
93fb5e43d2
|
bump gameserver
|
2023-08-12 12:52:00 +02:00 |
|
Jon Eugster
|
b41a35d56c
|
bump gameserver after fixes
|
2023-08-12 12:35:29 +02:00 |
|
Jon Eugster
|
79ebd39feb
|
small fixes
|
2023-08-11 17:12:34 +02:00 |
|
Jon Eugster
|
868d8d9d71
|
bump gameserver
|
2023-08-11 15:06:01 +02:00 |
|
Jon Eugster
|
134d5cc029
|
bump gameserver
|
2023-08-04 19:39:26 +02:00 |
|
Jon Eugster
|
836f8f6078
|
import Mathlib.Tactic everywhere
|
2023-08-04 17:14:49 +02:00 |
|
Jon Eugster
|
16b2003f9a
|
fix gameserver version
|
2023-08-04 10:41:06 +02:00 |
|
Jon Eugster
|
4687e0bd7c
|
add mathlib again
|
2023-07-07 17:44:27 +02:00 |
|
Jon Eugster
|
2604c89284
|
big refactor
|
2023-05-15 15:12:35 +02:00 |
|
Jon Eugster
|
0deb55e8ac
|
remove mathlib as dependecy
|
2023-05-08 18:23:18 +02:00 |
|
Alexander Bentkamp
|
d37c2ade12
|
Clean up Dockerfile
|
2023-05-04 11:48:58 +02:00 |
|
Jon Eugster
|
405947d319
|
Update lakefile.lean
|
2023-04-28 15:40:56 +02:00 |
|
Jon Eugster
|
b5eb6d1f5d
|
add dockerfile
|
2023-04-28 15:28:38 +02:00 |
|
Jon Eugster
|
a4f85ad4eb
|
reflect server structure change
|
2023-04-26 01:37:17 +02:00 |
|
Jon Eugster
|
5da0c41dfa
|
update lakefile
|
2023-04-25 18:58:28 +02:00 |
|
Jon Eugster
|
c330bee2e2
|
initial commit
|
2023-04-25 18:37:27 +02:00 |
|