Zulip Chat Archive

Stream: general

Topic: Lean 4 Game

Frederick Pu (Dec 23 2023 at 16:50):

Where should I go to get help debugging the lean4game maker. I have currently installed the game skeleton and got the docker container to build. However, the lean4 server isn't connecting when I run my game.

Jon Eugster (Dec 23 2023 at 16:52):

Ill dm you :)

Patrick Massot (Dec 23 2023 at 16:52):

You can ping Jon Eugster here, but he is in vacation so don't expect much to happen before early January.

Patrick Massot (Dec 23 2023 at 16:52):

Oops

Patrick Massot (Dec 23 2023 at 16:53):

I was contradicted a couple of milliseconds before posting.

Jon Eugster (Dec 23 2023 at 16:53):

he's on a long train on the way to holidays:sweat_smile:

Last updated: May 02 2025 at 03:31 UTC