palomar

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.

Static human-facing explorer for the Palomar database

Best-practice starter repository for Palomar submissions

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

Palomar: Machine Organization & Assembly Language

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

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

Comparator CI that verifies Palomar submissions dispatched by the submission server

Automated AI review and registration tooling for Palomar

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

Palomar: Data Structures & Algorithms - Java

Palomar: Java Programming

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

Palomar: C++ & Object-Oriented Programming