MathINsiD — a bridge layer between bibliographic and formalized mathematical knowledge You can browse mathlib or Palomar…

MathINsiD — a bridge layer between bibliographic and formalized mathematical knowledge You can browse mathlib or Palomar and see what is formalized. You cannot take a published paper and ask whether it has been. MathINsiD indexes that direction: it starts from the literature, not from a repository. ~5M zbMATH Open records — 97.7% of zbMATH — with formalizations attached to the papers they formaliz…