3 ms·impressive formalization effort that bridges deep number theory and formal methodsby badmonster 1y agoimpressive formalization effort that bridges deep number theory and formal methods