C127 Birmingham Report Platform

He divided the proof process into countless modules, then pieces of proof, and finally put them together.

However, how could the separated modules be put together again?

This already went against his original intention.

"'Ding... Mission activated, breaking the Underachiever's fantasy. '"

"'Want to go: User, please use a massive amount of knowledge to end the Underachiever's fantasy