Mathematics and Computation

A blog about mathematics for computers

Posts by category

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

Posts by year

2021 (4)  |  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 (156)