Activity

  Dennis Hackethal addressed criticism #5433.

Neil Hudson says the bounty “would require programming the creative process by which relevant variations are conjectured in the first place.”

#5433​·​Dennis HackethalOP, about 6 hours ago

Why is that a criticism of the bounty and not of HTV? If that’s what’s required to make HTV work, maybe HTV bit off more than it can chew.