The role of AI companies in large formalisation projects

leanprover.zulipchat.com