#

palomar-registry

Here are 2 public repositories matching this topic...

carlok / sharp-symmetry-bounds-lean

Lean 4 formalization of sharp symmetry bounds for real plane algebraic curves (Theorem 1)

theorem-proving lean formalization symmetry algebraic-geometry formal-verification real-algebraic-geometry mathlib euclidean-geometry lean4 palomar-registry algebraic-curves

Updated Sep 21, 2026
Lean

PalomarRegistry / PalomarDatabaseTools

Public, reproducible tooling and synthetic contracts for the Palomar Registry database

reproducible-builds cloudflare-workers github-actions palomar-registry

Updated Sep 25, 2026
Python

Add this topic to your repo

To associate your repository with the palomar-registry topic, visit your repo's landing page and select "manage topics."