History

for article: Computer-assisted proof