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/compar… for verification and github.com/mathlib-initiativ… for metadata, please submit!
2
24
70
12,688
Or join us on the Lean zulip to discuss: leanprover.zulipchat.com/#na…
1
10
451
Sort replies: Relevant Recent Liked
Replying to @tqft
Thanks for pointing at Tao's Palomar writeup. I'm still fuzzy — after reading his post, what should a small repo owner check first before they try to show up in the registry?
6
Load more