Comment Comment by krackers How do you know that what is being proved in the lean code is the same as the millennium prize criteria though? parent krackers 1 month ago
