search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
198 stars 35 forks source link

Ask question on Zulip #227

Open joneugster opened 6 months ago

joneugster commented 6 months ago

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

joneugster commented 5 months ago

merged into #103

ndcroos commented 4 months ago

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?