Posts for year 2021

2021-12-31 21:04Liquid Tensor Experiment: an update
2021-12-22 12:41Update on mathport (Dec 2021)
2021-12-17 09:35Backstage with Yaël Dillies
2021-12-11 12:00Semilinear maps
2021-12-06 06:58This month in mathlib (Nov 2021)
2021-11-22 09:00Dedekind domains and class number in Lean
2021-11-02 11:04Contributions to mathlib from LTE about normed groups
2021-11-01 06:38This month in mathlib (Oct 2021)
2021-10-02 23:39Hoskinson Center announced
2021-10-01 09:00This month in mathlib (Sep 2021)
2021-09-22 12:51The Radon-Nikodym theorem in Lean
2021-09-19 21:04Alex Best’s type class generalization paper
2021-09-19 18:46Yury Kudryashov’s rotation number paper
2021-09-19 18:34Sébastien Gouëzel’s Gromov-Hausdorff Space paper
2021-08-31 08:56This month in mathlib (Aug 2021)
2021-08-07 21:49Continuous partitions of unity
2021-08-07 21:42Eric Wieser's scalar action paper
2021-08-07 21:36Welcome to the Lean community blog!