关于 Fredrik Bakke

PhD student from Norway formalizing lots of stuff in univalent type theory using Agda

列表

Timeline

FredrikBakke还没有活动