Hacker News new | ask | show | jobs
The role of AI companies in large formalisation projects (leanprover.zulipchat.com)
3 points by mti 88 days ago