The role of AI companies in large formalisation projects

(leanprover.zulipchat.com) by mti | Mar 23, 2026 | 0 comments on HN