Activity

  Dennis Hackethal revised criticism #5433. The revision supersedes the old version.

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.”