How is math experiencing a replication crisis? > This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy t

How is math experiencing a replication crisis? > 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 in its study. > Exactly half a year ago I wrote the Liquid Tensor Experiment blog post, challenging the formalization of a difficult foundational theorem from my Analytic Geometry lecture notes on joint work with Dustin Clausen. ???