leanprover-community/lean4game not found