Brendan Zabarauskas@brendanzabImpressive work being done by the Lean community!Quote TweetKevin Buzzard@XenaProject · Oct 21, 2019Several people over on the Lean chat have written a really nice overview article about Lean's maths library! https://leanprover-community.github.io/papers/mathlib-paper.pdf… #leanprover8:55 PM · Oct 21, 2019·Twitter Web App4 Likes
