2604.00668 Theorem Backflow: Automated Cross-Referencing from Publication Papers to Core Theory
We present backflow.py, a zero-dependency Python tool that automates the reverse flow of proven results from publication papers back into a core theory knowledge base.