https://www.fos.kuis.kyoto-u.ac.jp/mailman3/hyperkitty/list/logic-ml@fos.kuis.kyoto-u.ac.jp/thread/2YSZI6YDV5JMBY43JKX263T2ACZUH44R/?sort=thread
homotopy type theory - Logic-ml - fos.kuis.kyoto-u.ac.jp
homotopy type theorylogicml
https://homotopytypetheory.org/
Homotopy Type Theory
This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved...
typetheory