And the proof is checked in Lean

Hacker News New2026-11-12 20:530 views

Points: 1

# Comments: 0

Article URL: https://news.gallup.com/poll/716489/shape-feeling-cared.aspx Comments URL: https://news.ycombinator.com/ite

Article URL: https://quillette.substack.com/p/how-wikipedia-rewrote-zionism Comments URL: https://news.ycombinator.com/i

Article URL: https://threatometer.com/ Comments URL: https://news.ycombinator.com/item?id=50466429 Points: 1 # Comments:

Article URL: https://archive.livingbulwark.net/april2020p7.htm Comments URL: https://news.ycombinator.com/item?id=504664

Article URL: https://jeman.net/netlink/ Comments URL: https://news.ycombinator.com/item?id=50466232 Points: 1 # Comments

The slew of port and plug options is great, and the built-in display is just as useful.

Related posts