lean4game icon indicating copy to clipboard operation
lean4game copied to clipboard
verified publisher icon leanprover-community

Ask question on Zulip

Open joneugster opened this issue 1 year ago • 2 comments

It would be nice to have a button in each level that automatically creates a new question on Zulip:

  • in the new members stream
  • a title that contains the game/world/level
  • a spoiler block with the currently entered code.

joneugster avatar May 08 '24 08:05 joneugster

merged into #103

joneugster avatar Jun 12 '24 09:06 joneugster

I also would like to work in this issue, since it is similar to the task I already work on. Can you assign this one also to me?

ndcroos avatar Jul 17 '24 19:07 ndcroos