https://typesig.pl/2023/09/25/welcome-to-typesig.html 2023-09-25T11:00:00+00:00 https://typesig.pl/2023/09/28/weekly-lean-hacking.html 2023-09-28T12:24:11+00:00 https://typesig.pl/2023/11/10/kevin-buzzard-talk.html 2023-11-10T11:00:00+00:00 https://typesig.pl/2023/11/15/typesig-talks-anton-john.html 2023-11-15T11:00:00+00:00 https://typesig.pl/2023/11/21/phil-talk.html 2023-11-21T11:00:00+00:00 https://typesig.pl/2023/11/30/advent-of-proof.html 2023-11-30T11:00:00+00:00 https://typesig.pl/tuple2024/ 2024-02-22T12:56:14+00:00 https://typesig.pl/2024/09/25/typesig-returns.html 2024-09-25T11:00:00+00:00 https://typesig.pl/2024/12/12/advent-of-proof-2024.html 2024-12-12T14:46:00+00:00 https://typesig.pl/tuples2025/ 2025-02-01T17:24:00+00:00 https://typesig.pl/triple2026/ 2026-02-09T16:00:00+00:00 https://typesig.pl/about/ https://typesig.pl/categories/ https://typesig.pl/contact/ https://typesig.pl/resources/domain-theory https://typesig.pl/ https://typesig.pl/resources/lang-workshop https://typesig.pl/resources/ https://typesig.pl/resources/lang-workshop/step1 https://typesig.pl/resources/lang-workshop/step10 https://typesig.pl/resources/lang-workshop/step11 https://typesig.pl/resources/lang-workshop/step2 https://typesig.pl/resources/lang-workshop/step3 https://typesig.pl/resources/lang-workshop/step4 https://typesig.pl/resources/lang-workshop/step5 https://typesig.pl/resources/lang-workshop/step6 https://typesig.pl/resources/lang-workshop/step7 https://typesig.pl/resources/lang-workshop/step8 https://typesig.pl/resources/lang-workshop/step9 https://typesig.pl/assets/pdfs/domain-theory/n1.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/domain-theory/n2.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/domain-theory/n3.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/domain-theory/n4.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/domain-theory/n5.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/domain-theory/n6.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/triple2026-slides/constantine-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/triple2026-slides/fred-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/triple2026-slides/konstantin-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/triple2026-slides/ohad-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/triple2026-slides/rob-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/triple2026-slides/simon-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/tuple2024-slides/jad-galayini-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/tuple2024-slides/paul-jackson-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/tuple2024-slides/tang-wenhao-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/tuples2025-slides/gallais-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/tuples2025-slides/nachi-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/tuples2025-slides/orpheas-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/tuples2025-slides/pyramid-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/assets/pdfs/tuples2025-slides/thorsten-slides.pdf 2026-03-31T18:01:39+00:00 https://typesig.pl/pages/test.html 2026-03-31T18:01:39+00:00