Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge

A. Mayeux

Mathematical knowledge is split between bibliographic databases (e.g., MathSciNet, zbMATH Open) and formal proof libraries (e.g., Lean's mathlib), preventing unified access to publ…