Get the latest tech news

Kerodon – an online resource for homotopy-coherent mathematics

An online resource for homotopy-coherent mathematics

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$ an online resource for homotopy-coherent mathematics