Posts for year 2022
- Modular forms
- This month in mathlib (Oct and Nov 2022)
- Definitions in the liquid tensor experiment
- This month in mathlib (Sep 2022)
- This month in mathlib (Aug 2022)
- This month in mathlib (Jul 2022)
- This month in mathlib (Jun 2022)
- Classification of one-dimensional isocrystals
- Introducing Mathlib Changelog
- Completion of the Liquid Tensor Experiment
- The ring of integers of a cyclotomic field
- This month in mathlib (May 2022)
- This month in mathlib (Apr 2022)
- This month in mathlib (Mar 2022)
- This month in mathlib (Feb 2022)
- Adventure 10000
- This month in mathlib (Jan 2022)
- Backstage with Yakov Pechersky
- 2021 - The Bottom Line
- This month in mathlib (Dec 2021)