Today we're launching the Palomar registry at palomar-registry.org, an index of formalized mathematics results.
If you have a GitHub repo with some maths, and can set up github.com/leanprover/com… for verification and github.com/mathlib-initia… for metadata, please submit!
