The role of AI companies in large formalisation projectsleanprover.zulipchat.com3 points·mti··0 commentsOpen articleSaveView on HN