Article URL: https://www.linkedin.com/posts/leonardo-de-moura-26a27b5_leanlang-leanprover-leanfro-activity-7274523099394400256-0F0x
Comments URL: https://news.ycombinator.com/item?id=42483895
Points: 100
# Comments: 33