https://lennytaelman.github.io/news/random_blurb/ 1899-11-07T20:11:00+00:00 https://lennytaelman.github.io/news/new_colleagues_2022/ 2022-09-01T00:00:00+00:00 https://lennytaelman.github.io/news/ic_geom_2022/ 2022-09-26T00:00:00+00:00 https://lennytaelman.github.io/news/bnlag_2022/ 2022-11-04T00:00:00+00:00 https://lennytaelman.github.io/news/conference_motivic/ 2023-02-21T00:00:00+00:00 https://lennytaelman.github.io/news/new_colleagues_2023/ 2023-09-01T00:00:00+00:00 https://lennytaelman.github.io/news/phd_magni/ 2023-09-13T00:00:00+00:00 https://lennytaelman.github.io/news/visit_ias/ 2023-09-20T00:00:00+00:00 https://lennytaelman.github.io/news/ic_geom_2024/ 2024-02-01T00:00:00+00:00 https://lennytaelman.github.io/news/paper_defcy/ 2024-07-12T00:00:00+00:00 https://lennytaelman.github.io/news/lean_seminar_2024/ 2024-09-23T00:00:00+00:00 https://lennytaelman.github.io/news/phd_rienks/ 2024-12-17T00:00:00+00:00 https://lennytaelman.github.io/news/tauto-set/ 2025-01-14T00:00:00+00:00 https://lennytaelman.github.io/news/ic_geom_2025/ 2025-01-22T00:00:00+00:00 https://lennytaelman.github.io/news/bnlag_2025/ 2025-02-10T00:00:00+00:00 https://lennytaelman.github.io/news/monsky/ 2025-04-17T00:00:00+00:00 https://lennytaelman.github.io/news/mechanization/ 2025-06-10T00:00:00+00:00 https://lennytaelman.github.io/news/symposium/ 2025-08-11T00:00:00+00:00 https://lennytaelman.github.io/news/mechanization_update/ 2025-08-27T00:00:00+00:00 https://lennytaelman.github.io/news/new_colleagues_2025/ 2025-09-30T00:00:00+00:00 https://lennytaelman.github.io/news/mechanization_videos/ 2025-10-02T00:00:00+00:00 https://lennytaelman.github.io/news/ifs_oct_2025/ 2025-10-30T00:00:00+00:00 https://lennytaelman.github.io/ https://lennytaelman.github.io/ic_geometry_seminar/