3 points, 1 comments on Hacker News
Source: [Hacker News](https://leanprover.zulipchat.com/#narrow/channel/579630-Project-announcements/topic/Software.20Foundations.20in.20Lean.3A.20Call.20for.20Contributions/with/604191988)
📰 Read Full Story
This is an aggregated headline summary. For the complete report, visit the original publisher.
Continue Reading at Hacker News ↗