A Lean Syntax Primer

Overreacted2025-09-02 08:000 views

Programming with proofs.

Article URL: https://vellinko.com/ Comments URL: https://news.ycombinator.com/item?id=50338999 Points: 1 # Comments: 0

Article URL: https://vivio.house/en Comments URL: https://news.ycombinator.com/item?id=50339082 Points: 1 # Comments: 0

Article URL: https://pushover.net/ Comments URL: https://news.ycombinator.com/item?id=50339090 Points: 1 # Comments: 0

Article URL: https://apenwarr.ca/log/20211229-the-gift-of-its-your-problem-now Comments URL: https://news.ycombinator.co

Article URL: https://implied.news/ Comments URL: https://news.ycombinator.com/item?id=50339117 Points: 1 # Comments: 0

Article URL: https://opendocbot.com/blog/introducing-opendocbot Comments URL: https://news.ycombinator.com/item?id=50339

Related posts