2014-01-08: Conor McBride (MSP)

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

Conor McBride (MSP)

On the recently found inconsistency of the univalence axiom in current Agda and Coq

2014-01-08 11:00:00 UTC
LT1310