Mathematics and Computation

A blog about mathematics for computers

Posts by category

Andromeda (3)  |  Computation (32)  |  Constructive math (38)  |  Eff (8)  |  Every proof assistant (8)  |  Formalization (3)  |  Gems and stones (10)  |  General (31)  |  Guest post (8)  |  Logic (17)  |  News (16)  |  Off topic (4)  |  Programming (19)  |  Programming languages (8)  |  Proof assistant (1)  |  Publications (35)  |  RZ (6)  |  Software (17)  |  Synthetic computability (6)  |  Synthetic computatibility (1)  |  Talks (43)  |  Teaching (8)  |  Tutorial (28)  |  Type theory (19)

Posts by year

2024 (2)  |  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 (169)