By category
Computation (32) · Constructive math (44) · Eff (8) · Formalized mathematics (11) · General (31) · Guest post (8) · Logic (17) · News (17) · Off topic (4) · Programming (19) · Programming languages (8) · Proof assistant (1) · Publications (35) · Software (26) · Synthetic computability (7) · Talks (43) · Teaching (8) · Tutorial (28) · Type theory (19)
By year
2026 (1) · 2024 (1) · 2023 (6) · 2022 (4) · 2021 (5) · 2020 (9) · 2019 (8) · 2018 (2) · 2017 (3) · 2016 (8) · 2015 (6) · 2014 (7) · 2013 (4) · 2012 (14) · 2011 (14) · 2010 (13) · 2009 (13) · 2008 (15) · 2007 (7) · 2006 (7) · 2005 (13) · 2004 (2) · 2002 (3) · 2001 (1) · 2000 (2) · 1999 (1) · 1997 (1)
→ All posts (170)