Algorithm and Abstraction in Formal Mathematics (arxiv.org)
2 points by Smaug123 39 minutes ago | 0 comments
312 points by Smaug123 39 minutes ago | 0 comments
311 points by peter_d_sherman 40 minutes ago | 0 comments
323 points by Anon84 42 minutes ago | 0 comments
331 points by sans_souse 42 minutes ago | 0 comments
342 points by johnnyballgame 43 minutes ago | 0 comments
351 points by jandeboevrie 44 minutes ago | 0 comments
362 points by jandeboevrie an hour ago | 0 comments
371 points by tech234a an hour ago | 0 comments
381 points by anigbrowl an hour ago | 0 comments
393 points by punnerud an hour ago | 1 comment
401 points by geox an hour ago | 0 comments
411 points by pmzy an hour ago | 0 comments
422 points by healeycodes an hour ago | 0 comments
433 points by wofo an hour ago | 0 comments
446 points by punnerud an hour ago | 1 comment
453 points by tcmb an hour ago | 0 comments
461 points by ioblomov an hour ago | 2 comments
473 points by bugfactory an hour ago | 0 comments
484 points by Tomte an hour ago | 0 comments
494 points by bookofjoe an hour ago | 0 comments
502 points by rntn an hour ago | 0 comments
513 points by vincent_s an hour ago | 1 comment
525 points by fedor-ryzhenkov an hour ago | 0 comments
531 points by maluta an hour ago | 0 comments
5433 points by mistercheph an hour ago | 14 comments
557 points by speckx an hour ago | 1 comment
562 points by matt_d an hour ago | 0 comments
5759 points by humanperhaps an hour ago | 18 comments
582 points by PaulHoule an hour ago | 0 comments
593 points by vincent_s an hour ago | 0 comments
60