palomar

Static human-facing explorer for the Palomar database

Local Lean formalization permanently registered in Palomar (PALOMAR-2026-08-29-000004). Two-certificate trace-energy deduction for the 67.3316977142% simple critical-line zero research-draft candidate.

Best-practice starter repository for Palomar submissions

Comparator CI that verifies Palomar submissions dispatched by the submission server

Lean 4 formalization of Robin's 1984 equivalence between the Riemann hypothesis and the divisor-sum inequality above 5040.

Review policy, prompts, schemas, and candidate research for Palomar

Automated AI review and registration tooling for Palomar

Lean 4 Palomar package for exact polylogarithmic Collatz descent in natural density

Palomar: Machine Organization & Assembly Language

Lean 4 formalization of parity preservation and beta-eta separation in a typed two-dimensional conversion calculus

Lean proof of match-type concentration in tiered random matching markets, with an introduction for economists.

Palomar formalizations of my preprints https://orcid.org/0009-0009-0198-085X

Lean proof that the covering numbers satisfy C(24,14,4) >= 20 and C(25,15,5) >= 34

A multi-feedback queue system simulator displayed in a nice GUI

Palomar: Java Programming

Palomar: Data Structures & Algorithms - Java

Historical source of blusky-social/indigo palomar (git filter-repo based)

Palomar: C++ & Object-Oriented Programming