---
schema_version: '1.0'
id: news-20260819-497aa1
title: 'Palomar: A registry of Lean verified mathematics'
url: https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/
url_hash: 497aa1f0d0b648682ec8b479760c3b06353e18597df900446a412a3f7193a5af
canonical_url: https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics
source: HackerNews
category: news/tech
category_raw: tech
region: usa
tags:
- it_general
- it_tech
- it_ai
lang: en
published_at: '2026-08-19T02:41:50Z'
fetched_at: '2026-08-19T16:17:20.963695Z'
updated_at: '2026-08-19T16:30:43Z'
status: published
content_hash: null
content_changed_at: null
license_note: link-only
summary: null
summary_source: null
summary_en: null
summary_omitted_reason: license_restricted
redistribution: false
keywords_en:
- artificial intelligence
- it_ai
- it_general
- it_tech
- Lean
- Leanpub
- mathematics
- Palomar
- registry
- technology
- verified
- Verified Market Reports
entities_en:
- name: it_ai
  type: concept
- name: it_general
  type: concept
- name: it_tech
  type: concept
- name: Leanpub
  type: organization
- name: Palomar
  type: concept
- name: Verified Market Reports
  type: content
topics_en:
- artificial intelligence
- technology
numeric_facts: []
entities:
- name: Palomar
  type: concept
- name: Leanpub
  type: organization
- name: Verified Market Reports
  type: content
key_facts: []
related: []
related_auto:
- name: DoorDash
  type: organization
  weight: 2.0
- name: UberEats
  type: organization
  weight: 1.0
- name: OpenLogi
  type: organization
  weight: 1.0
- name: MacBook Neo
  type: content
  weight: 1.0
- name: Dell XPS 13
  type: content
  weight: 1.0
computed_at: null
sanitized_at: '2026-08-20T14:56:50.092484+00:00'
---

# Palomar: A registry of Lean verified mathematics

## TL;DR
（要約なし・原文はリンク先を参照 / No summary available; see the source link.）

## Key Points
- it_general / it_tech / it_ai

## Details
(本文なし。リンク先参照)

## Source
元記事: [Palomar: A registry of Lean verified mathematics](https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/) — published 2026-08-19T02:41:50Z