Maxproof

 (arxiv.org)

107 points | by ilreb 6 hours ago

8 comments