The Andrews–Curtis Conjecture (ACC) Challenge

2 points | by JohnHammersley 6 hours ago