fix filtering of "unsolved goal" error - Githubissues

leanprover-community / lean4game

Server to host lean games.

https://adam.math.hhu.de

GNU General Public License v3.0

197 stars 35 forks source link

fix filtering of "unsolved goal" error #257

Open joneugster opened 3 months ago

joneugster commented 3 months ago

See here: https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Set.20Theory.20Game.20Question