The Andrews–Curtis Conjecture (ACC) Challenge

(competition.sair.foundation)

2 points | by JohnHammersley 4 hours ago ago