Alkemet News
Are We Stuck with Lean?
(mathoverflow.net)
117
points
byjjgreen
9 hours ago |
58
comments
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date