Activity
Dennis Hackethal revised criticism #5433.
Link to Neil’s reply
Neil Hudson says the bounty “would require programming the creative process by which relevant variations are conjectured in the first place.”
Neil Hudson says the bounty “would require programming the creative process by which relevant variations are conjectured in the first place.”