2015-03-04: A HoTT-Date with Thorsten Altenkirch

Sat, 21 Oct 2023 21:24:08 +0100

A HoTT-Date with Thorsten Altenkirch (LT1415)

A HoTT-Date with Thorsten Altenkirch

2015-03-04 14:00:00 UTC
LT1415