3 ms·Automated proof of the transcendence of π in HOL light3 points by keepamovin 2y agodeleted 2y ago[deleted]