The role of AI companies in large formalisation projects

(leanprover.zulipchat.com)

2 points | by mti 5 hours ago ago