Tech

Palomar: Registry of Lean-Verified Mathematics

Hacker News (Newest) By marvinborner Oct 29, 2026 · 1:28 PM 0 views 0 comments

Article URL: https://palomar-registry.org/

Comments URL: https://news.ycombinator.com/item?id=50293725

Points: 1

# Comments: 0

Hacker News (Newest) Original story · palomar-registry.org

How does this story make you feel?

Discussion (0)

No comments yet. Start the conversation!